CSE logo University of Washington Department of Computer Science & Engineering
 CSE 590YA - Summer 2001 - Homework Assignments
  CSE Home  About Us    Search    Contact Info 

Homework One: Message Handling with Composite Widgets

Description: Homework One Description
Distributed: Wednesday, June 20
Due: Wednesday, June 27 (in class)

Homework Two: Hyper Text Coffee Pot Control Protocol Proposal (HTCPCPP :)

Description: Homework Two Description
Documents: Hyper Text Coffee Pot Control Protocol
Distributed: Thursday, July 5
Due: Sunday night, July 8 (midnight)

Homework Two (a): CoffeeLink Network Protocol (CLNP) Implementation

Description: Homework Two (a) Description
Documents: CoffeeLink Network Protocol
Distributed: Monday, July 9
Due: Wednesday, July 18 (beginning of class)

Homework Three: Ensuring Safety in Biomedical Systems

Description: Homework Three Description
Documents: (a)Safety Critical Computing, (b)Formal Safety Analysis of the Control Program for a Radiation Therapy Machine
Distributed: Wednesday, July 18
Due: Wednesday, July 25 (beginning of class)

Homework Four: Formal Specification Methods and Model Checking

Description: Homework Four Description
Documents: (a)State-based safety analysis, (b)Solutions to in-class exercises
Distributed: Wednesday, July 25
Due: Wednesday, August 1 (beginning of class)

Homework Five: An Expert System - The Planning Target Volume Tool

Description: Homework Five Description
Documents: (a) PTVT: PS/PDF, (b) Evaluation: PS/PDF
Distributed: Saturday, August 4
Due: Wednesday, August 8 (beginning of class)

Homework Six: Optimization of Treatment Plans

Description: Homework Six Description
Documents: Design Optimization Using Dynamic Evaluation: PS/PDF
Distributed: Friday, August 10
Due: Wednesday, August 15 (beginning of class)

590YA Home

CSE logo Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to owner-cse590ya]