UC Irvine page counter

Home page

Flying Fun

UC Irvine


Java Applets

Download Software


Interesting Sites

Author Info


Class Projects

Formal Methods (Winter 1997)

Formal Specification of a Printer Panel
* in Astral
* in GIL

Software Analysis and Testing (Spring 1997)

* Presentation on Object-Oriented Software Testing
PowerPoint presentation in HTML
Literature list

Advanced Compiler Construction (Spring 1997)

* Presentation on Garbage Collection Techniques
PowerPoint presentation in HTMLor in PostScript (1.2MB gzip-compressed).
* Compiler front-end for a simplified version of Oberon
This code covers the homework assignments 1 and 2.
The simplified Oberon (Oberon-00) doesn't have subroutines.
Written in Java (binaries and source). Example input and output files are here.
Needs JLex and CUP (a Java version of Yacc).

Software Processes (Fall 1997)

* Benefits and Problems of the Capability Maturity Model (CMM)
PowerPoint presentationin HTML.
Termpaper as PDF file.

Valid XHTML 1.1 Valid CSS www.cacert.org
You plan things that you do not even attempt because of your extreme caution.
This site has not received any request for data from the FBI, NSA or other government authorities.