| Jan 25 |
Prof. Don Batory,
Univ. of Texas-Austin
(Distinguished Lecture Series: 12:30-2:00; 1225 Engineering Building) |
Refinements and Product Line Architectures Abstract |
| Feb 1 |
B. Cheng |
Meridian Overview Abstract |
| Feb 8 |
G. Sivakumar |
A Taste of Theorem Proving
Abstract |
| Feb 15 |
Xing Fang |
(Jalapeno Java Compiler)
Abstract
|
| Feb 22 |
Reimer Behrends |
|
| Mar 1 |
Chipeng Tang |
|
| Mar 8 |
Spring Break |
| Mar 15 |
Peng Ge |
|
| Mar 22 |
Laura Campbell |
Visualization and Interpretation of Analysis Results
within the Context of Formalized UML Diagrams (ICSE01, Doctoral Symposium) |
| Mar 29 |
L. Dillon |
Amalia I (ICSE01) |
| Apr 5 |
K. Stirewalt |
Amalia II (ICSE01) |
| Apr 12 |
B. McUmber |
A General Framework for Formalizing UML (ICSE01) |
| Apr 19 |
Open |
| Apr 26 |
Open |