Lab Web Page for CSE470

(Fall 2000)

 

(8/30)	Lab 1: Latex, HTML, Config Mgmt. Handouts Latex Handout HTML Handout Config. Mgmt Handout HTML Tutorial LaTeX Command Summary
(9/5)	Lab 2: Introduction to Java Handouts Class Slides SimpleEvent.java file ActionExampla.java file Example of a Java Multithreaded program Dr. Dillon's Java Lecture java.sun.com (tutorial available)
(9/9)	Lab 3: Java Prototyping Handouts Microwave Program Microwave.java file Alt. Microwave Program (w/ separate counter thread) Alt. Microwave.java file
(9/17)	Lab 4 - Preliminary Prototype Evaluation
(9/24)	Lab 5: UML Modeling I
(10/1)	Lab 6: UML Modeling II
(10/9)	Open Lab
(10/16)	Lab 7: Model Checking I
(10/31)	Lab 8: Model Checking II