CSCI 5230 -- Spring 2002 MWF 12pm MADD-2022
Simulation project 25% Verification projects 25%
Tests 30% Assignments 20%
Click here for your grades.
| Day | Reading | Assignment Deadlines |
| mon | Install eC | |
| weds | Read eC Manual | |
| fri | Review processes and semaphores | |
| 12-jan | Saturday,Sunday | |
| Chapter 1 | FSM #1 #2 #3 | |
| #1 Test program for Graphics.h | ||
| Chapter 2 | Java FSM Applet1 Applet2 | |
| 19-jan | Saturday,Sunday | Project topics must be approved in advance. |
| monday | Martin Luther King Holiday | Assignments are covered by Honor Code. |
| Deadline to choose simulation topic | ||
| 26-jan | Saturday,Sunday | |
| #2 Simulate a 4-way traffic intersection | ||
| 2-feb | Saturday,Sunday | |
| #3 Write a test program for and document an eC interface |
||
| 9-feb | Saturday,Sunday | |
| #4 Design a finite-state machine to recognize legal floating-point numbers (+dd.dde+dd or 6.0, -9e1, 0.7e-1) then implement the recognizer using a swich statement. Turn in diagram and program with input/output. | ||
| Chapter 4 | ||
| 16-feb | Saturday,Sunday | |
| 23-feb | Saturday,Sunday | |
| Simulation Project Due | ||
| 2-mar | Saturday,Sunday | |
| MIDTERM EXAM | ||
| 9-mar | Saturday,Sunday | |
| Spring Break Holiday | ||
| Spring Break Holiday | ||
| Spring Break Holiday | ||
| 16-mar | Saturday,Sunday | |
| Chapter 5 | Deadline to choose verification topic | |
| 23-mar | Saturday,Sunday | |
| Turn in a C/C++ to declare/initialize the Q5 data structure with a hex dump listing. Implement Q8/Q9. Good for a +9 credit on the mid-term. | ||
| 30-mar | Saturday,Sunday | |
| Turn in a solution for Problem 5-9 | ||
| 6-apr | Saturday,Sunday | |
| 13-apr | Saturday,Sunday | |
| Chapter 6 | Implement an algorithm (approved by instructor) in Promela | |
| 20-apr | Saturday,Sunday | |
| 27-apr | Saturday,Sunday | |
| 29-apr | ||
| 3-may friday |
FINAL EXAM, 12:30pm |