EECS 755

Software Requirements Modeling and Analysis


Class Tuesday

We will start EECS 755 again March 24 online using Zoom at or normal class time, 2:30. I will be presenting roughly the same as before, just using Zoom instead of a projector. We will be continuing our discussion of compiler verification and then move to transition systems.

Before break we spoke of an exam. We will need to discuss that further. I am committed to making sure you are evaluated fairly, but will need to be a bit more imaginative than required in the past. I’m looking at options and will share with you when I’ve got proposals to choose from.

I believe Zoom will work fine, but I have not used it in this way before. Please be patient as I work out the kinks. I’ve never presented from a computer in class before and that seems to work fine, so hopefully this will go well. Here are the contact details for the class meeting:

EECS 755
24 Mar 2020 at 2:30 PM - 3:45 PM

I will do my utmost to make certain you have a good experience for the remainder of the semester. The show must go on!