CSE 590YA - Summer 2001

University of Washington Department of Computer Science & Engineering

CSE 590YA - Summer 2001 - Calendar

CSE Home

About Us

Contact Info

Please check back here often for updates ...

Legend:

Lecture topics (selected slides are linked on this page)

Reading due

Homework distributed

Homework due

Class date Lecture topics Readings due Assignments

June 20
Introduction to CSE 590YA

Intro to Radiation Therapy Planning Systems

Software Engineering & Software Design

N/A

Hwk 1: Design with Mediators

June 27
Design with Mediators

On Lisp ...

1. Sullivan, Kalet, Notkin - "Evaluating The Mediator Method: Prism as a Case Study"

2. IAEA Press Release on Panama radiation deaths

3. Seattle Times article (or this version)

Homework 1
Due: In class

No new assignment

THURSDAY
July 5
in MOR 221
Finishing up with Lisp

Software Design & Radiation Deaths

Networks & Protocols (slides:PS or PDF)

1. Bidgood, Jr., et al - "Understanding and Using DICOM, the Data Interchange Standard for Biomedical Imaging"

2. Kalet, Giansiracusa, Avitan - "A new design for a DICOM-3 server" (PS or PDF)

Hwk 2: Hyper Text Coffee Pot Control Protocol Proposal

July 11
More on Networks ...

Medical Images

DICOM (slides:PS or PDF)

1. Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0)

Optional references for TCP/HTTP:

a) Comer & Stevens - Internetworking with TCP/IP, Vol III: Client-server programming and applications, Prentice-Hall 1997

b) Cheswik & Bellovin - Firewalls and Internet Security: Repelling the Wily Hacker, Addison-Wesley 1994

Hwk 2: HTCPCP Proposal
Due: Sunday night, 7/8

Hwk 2a: CLNP Server/Client Implementation

July 18
in UWMC RR134
UWMC Cancer Center Visit

Real-time Systems

Medical Accelerators

Here is a map of the UW Medical Center.

Hwk 2a: CLNP Server/Client Implementation
Due: Beginning of class

Hwk 3: Reading Report

July 25
Guest lecturer: Jon Jacky

Formal Specification Methods
(lecture notes: HTML)
(solutions to exercises: HTML)

1. Jonathan Jacky - "Safety Critical Computing" (HTML)

2. Jonathan Jacky - "Formal Safety Analysis of the Control Program for a Radiation Therapy Machine" (HTML)

Hwk 3: Reading Report
Due: Beginning of class

Hwk 4: Problem Set on State-Based Analysis

August 1
Artificial Intelligence

Expert Systems in Cancer Treatment

None

Hwk 4: Problem Set
Due: Beginning of class

Hwk 5: Reading Report

August 8
Evaluation of AI Programs

Knowledge Representation - Frames and Semantic Nets

1. Kromhout-Schiro, et al. - "A Computer Model for Derivation of the Planning Target Volume ..." (PS/PDF)

2. Ketting, et al. - "Evaluation of an Expert System Producing Geometric Solids as Output" (PS/PDF)

Hwk 5: Reading Report
Due: Beginning of class

Hwk 6: Dynamic Evaluation

August 15
Computational Biology - Algorithmic Techniques & Medical Applications
(slides:PPT)

1. Golub, et al. - "Molecular Classification of Cancer: Class Discovery and Class Prediction by Gene Expression Monitoring" (HTML/PDF)

Hwk 6: Dynamic Evaluation
Due: Beginning of class

590YA Home

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]

Class date	Lecture topics	Readings due	Assignments
June 20	Introduction to CSE 590YA Intro to Radiation Therapy Planning Systems Software Engineering & Software Design	N/A	Hwk 1: Design with Mediators
June 27	Design with Mediators On Lisp ...	1. Sullivan, Kalet, Notkin - "Evaluating The Mediator Method: Prism as a Case Study" 2. IAEA Press Release on Panama radiation deaths 3. Seattle Times article (or this version)	Homework 1 Due: In class No new assignment
THURSDAY July 5 in MOR 221	Finishing up with Lisp Software Design & Radiation Deaths Networks & Protocols (slides:PS or PDF)	1. Bidgood, Jr., et al - "Understanding and Using DICOM, the Data Interchange Standard for Biomedical Imaging" 2. Kalet, Giansiracusa, Avitan - "A new design for a DICOM-3 server" (PS or PDF)	Hwk 2: Hyper Text Coffee Pot Control Protocol Proposal
July 11	More on Networks ... Medical Images DICOM (slides:PS or PDF)	1. Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0) Optional references for TCP/HTTP: a) Comer & Stevens - Internetworking with TCP/IP, Vol III: Client-server programming and applications, Prentice-Hall 1997 b) Cheswik & Bellovin - Firewalls and Internet Security: Repelling the Wily Hacker, Addison-Wesley 1994	Hwk 2: HTCPCP Proposal Due: Sunday night, 7/8 Hwk 2a: CLNP Server/Client Implementation
July 18 in UWMC RR134	UWMC Cancer Center Visit Real-time Systems Medical Accelerators	Here is a map of the UW Medical Center.	Hwk 2a: CLNP Server/Client Implementation Due: Beginning of class Hwk 3: Reading Report
July 25	Guest lecturer: Jon Jacky Formal Specification Methods (lecture notes: HTML) (solutions to exercises: HTML)	1. Jonathan Jacky - "Safety Critical Computing" (HTML) 2. Jonathan Jacky - "Formal Safety Analysis of the Control Program for a Radiation Therapy Machine" (HTML)	Hwk 3: Reading Report Due: Beginning of class Hwk 4: Problem Set on State-Based Analysis
August 1	Artificial Intelligence Expert Systems in Cancer Treatment	None	Hwk 4: Problem Set Due: Beginning of class Hwk 5: Reading Report
August 8	Evaluation of AI Programs Knowledge Representation - Frames and Semantic Nets	1. Kromhout-Schiro, et al. - "A Computer Model for Derivation of the Planning Target Volume ..." (PS/PDF) 2. Ketting, et al. - "Evaluation of an Expert System Producing Geometric Solids as Output" (PS/PDF)	Hwk 5: Reading Report Due: Beginning of class Hwk 6: Dynamic Evaluation
August 15	Computational Biology - Algorithmic Techniques & Medical Applications (slides:PPT)	1. Golub, et al. - "Molecular Classification of Cancer: Class Discovery and Class Prediction by Gene Expression Monitoring" (HTML/PDF)	Hwk 6: Dynamic Evaluation Due: Beginning of class