The Jass Page

Documentation

Bibliography

[English] printer friendly version

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.