JML

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus.


References in zbMATH (referenced in 190 articles )

Showing results 141 to 160 of 190.
Sorted by year (citations)

previous 1 2 3 ... 6 7 8 9 10 next

  1. 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
  2. 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
  3. Chen, Feng; Roşu, Grigore: Java-MOP: A monitoring oriented programming environment for Java (2005)
  4. Hähnle, Reiner: Many-valued logic, partially, and abstraction in formal specification languages (2005)
  5. Karaorman, Murat; Abercrombie, Parker: jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (2005)
  6. Leavens, Gary T.; Cheon, Yoonsik; Clifton, Curtis; Ruby, Clyde; Cok, David R.: How the design of JML accommodates both runtime assertion checking and formal verification (2005)
  7. Leino, K. Rustan M.; Müller, Peter: Modular verification of static class invariants (2005)
  8. Marché, Claude; Paulin-Mohring, Christine: Reasoning about Java programs with aliasing and frame conditions (2005)
  9. Naumann, David A.: Observational purity and encapsulation (2005)
  10. Pierik, Cees; Clarke, Dave; de Boer, Frank S.: Controlling object allocation using creation guards (2005)
  11. Reus, Bernhard; Schwinghammer, Jan: Denotational semantics for Abadi and Leino’s logic of objects (2005)
  12. Xie, Tao; Marinov, Darko; Schulte, Wolfram; Notkin, David: Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)
  13. Farzan, Azadeh; Meseguer, José; Roşu, Grigore: Formal JVM code analysis in JavaFAN (2004)
  14. Jacobs, Bart: Weakest pre-condition reasoning for Java programs with JML annotations (2004)
  15. Jacobs, Bart; Marché, Claude; Rauch, Nicole: Formal verification of a commercial smart card applet with multiple tools (2004)
  16. Jacobs, Bart; Oostdijk, Martijn; Warnier, Martijn: Source code verification of a secure payment applet (2004)
  17. Kreitz, Christoph: Building reliable, high-performance networks with the Nuprl proof development system (2004)
  18. Lee, Edward A.; Xiong, Yuhong: A behavioral type system and its application in Ptolemy II (2004)
  19. Marché, C.; Paulin-Mohring, C.; Urbain, X.: The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (2004)
  20. Nunes, I.: Method redefinition-ensuring alternative behaviors (2004)

previous 1 2 3 ... 6 7 8 9 10 next