1 Bibliography

Bartetzko, Detlef

Parallelität und Vererbung beim "Programmieren mit Vertrag" - Weiterentwicklung von JaWA, Mastersthesis, 1999, (in German)

Fischer, Clemens

Combination and Implementation of Processes and Data: from CSP-OZ to Java, PhD Thesis, 2000

Plath, Michael

Trace-Zusicherungen in Jass - Erweiterung des Konzepts "Programmieren mit Vertrag", Mastersthesis, 2000, (in German)

D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim

Jass - Java with Assertions, In Klaus Havelund and Grigore Rosu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.

M. Brörkens and M. Möller

Dynamic Event Generation for Runtime Checking using the JDI, In Klaus Havelund and Grigore Rosu, editors, Proceedings of the Second Workshop on Runtime Verification (RV'02), Copenhagen, Denmark, July 2002, volume 70 of Electronic Notes in Theoretical Computer Science. Elsevier Science, July 2002.

2 Obtaining documents

If you are interested in obtainig special documents concerning Jass, please contact the Correct System Design group: jass@informatik.uni-oldenburg.de.