Jass

Jass - java with assertions. Design by Contract, proposed by Meyer for the programming language Eiffel, is a technique that allows run-time checks of specification violation and their treatment during program execution. Jass, Java with assertions, is a Design by Contract extension for Java allowing to annotate Java programs with specifications in the form of assertions. The Jass tool is a pre-compiler that translates annotated into pure Java programs in which compliance with the specification is dynamically tested. Besides the standard Design by Contract features known from classical program verification (e.g. pre- and postconditions, invariants), Jass additionally supports refinement, i.e. subtyping,checks and the novel concept oftrace assertions. Trace assertions are used to monitor the dynamic behaviour of objects in time.


References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. de Boer, Frank S.; de Gouw, Stijn: Combining monitoring with run-time assertion checking (2014)
  2. da Silva, Paulo Salem; de Melo, Ana C. V.: Model checking merged program traces (2009)
  3. du Bousquet, Lydie; Nakamura, Masahide; Yan, Ben; Igaki, Hiroshi: Using formal methods to increase confidence in a home network system implementation: a case study (2009) ioport
  4. Liang, Hui; Dong, Jin Song; Sun, Jing; Wong, W. Eric: Software monitoring through formal specification animation (2009) ioport
  5. Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike: Integrating a formal method into a software engineering process with UML and Java (2008)
  6. Chalin, Patrice: Are the logical foundations of verifying compiler prototypes matching user expectations? (2007)
  7. Cheon, Yoonsik; Perumandla, Ashaveena: Specifying and checking method call sequences of Java programs. (2007) ioport
  8. Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph R.; Leavens, Gary T.; Leino, K. Rustan M.; Poll, Erik: An overview of JML tools and applications (2005) ioport
  9. Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph R.; Leavens, Gary T.; Leino, K. Rustan M.; Poll, Erik: An overview of JML tools and applications (2005) ioport
  10. Chen, Feng; Roşu, Grigore: Java-MOP: A monitoring oriented programming environment for Java (2005)
  11. Karaorman, Murat; Abercrombie, Parker: jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (2005)