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 161 to 180 of 190.
Sorted by year (citations)

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

  1. Robby; Rodríguez, Edwin; Dwyer, Matthew B.; Hatcliff, John: Checking strong specifications using an extensible software model checking framework (2004)
  2. Schröder, Lutz; Mossakowski, Till: Generic exception handling and the Java monad (2004)
  3. Stenzel, Kurt: A formally verified calculus for full Java card (2004)
  4. Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin: A tool-supported proof system for multithreaded Java. (2003)
  5. Cataño, Néstor; Huisman, Marieke: CHASE: A static checker for JML’s assignable clause (2003)
  6. Hubbers, Engelbert: Integrating tools for automatic program verification (2003) ioport
  7. Jacobs, Bart; Kiniry, Joseph; Warnier, Martijn: Java program verification challenges. (2003) ioport
  8. Jacobs, Bart; Poll, Erik: Coalgebras and monads in the semantics of Java (2003)
  9. 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. (2003) ioport
  10. Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.: Modular specification of frame properties in JML (2003)
  11. Pierik, Cees; de Boer, Frank S.: A syntax-directed Hoare logic for object-oriented programming concepts. (2003)
  12. Zhao, Jianjun; Rinard, Martin: Pipa: A behavioral interface specification language for AspectJ (2003)
  13. Breunesse, Cees-Bart; Jacobs, Bart; Den Berg, Joachim Van: Specifying and verifying a decimal representation in Java for smart cards (2002) ioport
  14. Cataño, Néstor; Huisman, Marieke: Formal specification and static checking of Gemplus’ electronic purse using ESC/Java (2002)
  15. Cheon, Yoonsik; Leavens, Gary T.: A simple and practical approach to unit testing: The JML and JUnit way (2002)
  16. Hähnle, Reiner; Johannisson, Kristofer; Ranta, Aarne: An authoring tool for informal and formal requirements specifications (2002)
  17. Huisman, Marieke: Verification of Java’s AbstractCollection class: A case study (2002)
  18. Müller, Peter: Modular specification and verification of object-oriented programs (2002)
  19. Trentelman, Kerry; Huisman, Marieke: Extending JML specifications with temporal logic (2002) ioport
  20. von Oheimb, David; Nipkow, Tobias: Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited (2002)

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