UC Irvine page counter

Home page

Flying Fun

UC Irvine

Linux

Java Applets

Download Software

WinEarth

Interesting Sites

Author Info


UCI ICS Logo EDCS Logo

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
An exotic journey in downtown Newark is in your future.