×

JML

swMATH ID: 4597
Software Authors: Gary T. Leavens; Yoonsik Cheon
Description: 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.
Homepage: http://www.eecs.ucf.edu/~leavens/JML/
Keywords: Java Modeling Language; no software
Related Software: Spec#; Eiffel; KRAKATOA; ESC/Java; PVS; LOOP; Boogie; KeY; Why3; SIMPLIFY; Caduceus; Coq; z3; LARCH; JUnit; SPIN; SPARK; Dafny; Daikon; Z
Referenced in: 151 Publications
all top 5

Referenced by 273 Authors

12 Jacobs, Bart
9 de Boer, Frank S.
8 Leavens, Gary T.
8 Marché, Claude
7 Huisman, Marieke
7 Müller, Peter
6 Steffen, Martin
5 Leino, K. Rustan M.
5 Poll, Erik
4 Beckert, Bernhard
4 Dovland, Johan
4 Johnsen, Einar Broch
4 Schaefer, Ina
4 van den Berg, Joachim
3 Ábrahám, Erika
3 Birkedal, Lars
3 Bouquet, Fabrice
3 Cataño, Néstor
3 Dadeau, Frédéric
3 de Roever, Willem-Paul
3 Hähnle, Reiner
3 Klebanov, Vladimir
3 Křetínský, Jan
3 Morrisett, Greg
3 Nanevski, Aleksandar
3 Owe, Olaf
3 Pinto, Jorge Sousa
3 Poetzsch-Heffter, Arnd
3 Woodcock, James C. P.
2 Ahrendt, Wolfgang
2 Alpuente, María
2 Beringer, Lennart
2 Boström, Pontus
2 Bruns, Daniel
2 Cheon, Yoonsik
2 da Costa, Umberto Souza
2 Damiani, Ferruccio
2 De Gouw, Stijn
2 Dwyer, Matthew B.
2 Freitas, Leo
2 Hatcliff, John
2 Hesselink, Wim H.
2 Hofmann, Martin
2 Legeard, Bruno
2 Logozzo, Francesco
2 Martins Moreira, Anamaria
2 Momigliano, Alberto
2 Mossakowski, Till
2 Musicante, Martin A.
2 Naumann, David A.
2 Olderog, Ernst-Rüdiger
2 Paulin-Mohring, Christine
2 Pierik, Cees
2 Reus, Bernhard
2 Robby, Matthew
2 Roşu, Grigore
2 Schmitt, Peter H.
2 Schneider, Gerardo
2 Schröder, Lutz
2 Schulte, Wolfram
2 Schwinghammer, Jan
2 Sickert, Salomon
2 Souza Neto, Plácido A.
2 Stenzel, Kurt
2 Utting, Mark
2 von Oheimb, David
2 Weiss, Benjamin
1 Abercrombie, Parker
1 Ahmed, Amal
1 Alba-Castro, Mauricio
1 Amighi, Afshin
1 Anureev, Igor’ Sergeevich
1 Apt, Krzysztof Rafal
1 Aspinall, David
1 Bacelar Almeida, José
1 Back, Ralph-Johan
1 Baker, Albert L.
1 Ballis, Demis
1 Bao, Yuyan
1 Barbosa, Manuel
1 Barros, José Bernardo
1 Ben-David, Shoham
1 Beneš, Nikola
1 Berger, Martin J.
1 Bieniusa, Annette
1 Blom, Stefan
1 Boldo, Sylvie
1 Bonakdarpour, Borzoo
1 Bouajjani, Ahmed
1 Boulmé, Sylvain
1 Breunesse, C.-B.
1 Broy, Manfred
1 Cañete-Valdeón, José M.
1 Cavalcanti, Ana
1 Chalin, Patrice
1 Chandy, Kanianthra Mani
1 Chechik, Marsha
1 Chen, Feng
1 Chimento, Jesús Mauricio
1 Chin, Wei-Ngan
...and 173 more Authors

Referencing Publications by Year