CafeOBJ

Case Studies

Completed (see: Alexander Knapp. Case Studies with CafeOBJ. In: Proc. CafeOBJ Symposium '98, Numazu, 1998.)

• A Recycling Machine (based on: Martin Wirsing, Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In: José Meseguer (ed.), Proc. 1^st Int. Wsp. Rewriting Logic and Its Applications. Electr. Notes Theo. Comp. Sci. 4, Elsevier, 1996, pp. 321-359.)
• Requirements analysis phase
• Robustness analysis phase
• A Java Semantics (based on: Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In: Michael Johnson (ed.), Proc. 6^th Int. Conf. Algebraic Methodology and Software Technology. Lect. Notes Comp. Sci. 1349, Springer, Berlin, 1997.)
• Basic data structures
• Semantic domains and abstract syntax
• Sequential Java
• Event spaces
• Multi-Threaded Java

In progress

• An Airport (adapted from: Barbara Salmansberger. Objektorientierte Spezifikation von verteilten Systemen in Maude am Beispiel eines Flughafens. Master's Thesis, Universität Passau, 1993.)