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
The bone-chilling scream split the warm summer night in two, the first half being before the scream when it was fairly balmy and calm and pleasant, the second half still balmy and quite pleasant for those who hadn't heard the scream at all, but not calm or balmy or even very nice for those who did hear the scream, discounting the little period of time during the actual scream itself when your ears might have been hearing it but your brain wasn't reacting yet to let you know. -- Winning sentence, 1986 Bulwer-Lytton bad fiction contest.