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

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

  1. Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias: Information flow in object-oriented software (2014)
  2. Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina: Verifying traits: an incremental proof system for fine-grained reuse (2014)
  3. David R. Cok: OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse (2014) arXiv
  4. de Boer, Frank S.; de Gouw, Stijn: Combining monitoring with run-time assertion checking (2014) ioport
  5. De Gouw, Stijn; De Boer, Frank; Rot, Jurriaan: Proof pearl: The KeY to correct and stable sorting (2014)
  6. Honda, Kohei; Yoshida, Nobuko; Berger, Martin: An observationally complete program logic for imperative higher-order functions (2014)
  7. Almeida, J. Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  8. Beckert, Bernhard; Klebanov, Vladimir: A dynamic logic for deductive verification of multi-threaded programs (2013)
  9. Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim: The safety-critical Java memory model formalised (2013)
  10. Křetínský, Jan; Sickert, Salomon: On refinements of Boolean and parametric modal transition systems (2013)
  11. Simmonds, Jocelyn; Ben-David, Shoham; Chechik, Marsha: Monitoring and recovery for web service applications (2013)
  12. Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn: Verification of object-oriented programs: a transformational approach (2012)
  13. Barros, José Bernardo; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa: Assertion-based slicing and slice graphs (2012)
  14. Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao: Automated verification of shape, size and bag properties via user-defined predicates in separation logic (2012)
  15. da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.: JCML: A specification language for the runtime verification of Java card programs (2012)
  16. Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano: A formal approach to adaptive software: continuous assurance of non-functional requirements (2012)
  17. Heidegger, Phillip; Bieniusa, Annette; Thiemann, Peter: Access permission contracts for scripting languages (2012)
  18. Hesselink, Wim H.; Ikram Lali, Muhammad: Formalizing a hierarchical file system (2012)
  19. Hills, Mark; Chen, Feng; Roşu, Grigore: A rewriting logic approach to static checking of units of measurement in C (2012) ioport
  20. Kiniry, Joseph R.; Zimmerman, Daniel M.; Hyland, Ralph: Testing library specifications by verifying conformance tests (2012) ioport

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