×

JML

swMATH ID: 4597
Software Authors: Leavens, Gary T.; Cheon, Yoonsik
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; Boogie; LOOP; KeY; Why3; Isabelle/HOL; SIMPLIFY; Coq; z3; Dafny; Caduceus; LARCH; JUnit; SPARK; SPIN; VeriFast
Cited in: 163 Documents
all top 5

Cited by 300 Authors

12 Jacobs, Bart
11 de Boer, Frank S.
8 Leavens, Gary T.
8 Marché, Claude
8 Müller, Peter
7 Huisman, Marieke
7 Schaefer, Ina
6 Steffen, Martin
5 Beckert, Bernhard
5 De Gouw, Stijn
5 Leino, K. Rustan M.
5 Poll, Erik
4 Dovland, Johan
4 Hähnle, Reiner
4 Johnsen, Einar Broch
4 Thüm, Thomas
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 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 Runge, Tobias
3 Ulbrich, Mattias
3 Utting, Mark
3 Woodcock, James C. P.
2 Ahrendt, Wolfgang
2 Alpuente, María
2 Beringer, Lennart
2 Bian, Jinting
2 Boström, Pontus
2 Bruns, Daniel
2 Cheon, Yoonsik
2 da Costa, Umberto Souza
2 Damiani, Ferruccio
2 Dwyer, Matthew B.
2 Freitas, Leo
2 Hatcliff, John
2 Hermenegildo, Manuel V.
2 Hesselink, Wim H.
2 Hiep, Hans-Dieter A.
2 Hofmann, Martin
2 Knüppel, Alexander
2 Legeard, Bruno
2 Logozzo, Francesco
2 Martins Moreira, Anamaria
2 Mossakowski, Till
2 Musicante, Martin A.
2 Naumann, David A.
2 Olderog, Ernst-Rüdiger
2 Paulin-Mohring, Christine
2 Pierik, Cees
2 Potanin, Alex
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 von Oheimb, David
2 Weigl, Alexander
2 Weiss, Benjamin
1 Abercrombie, Parker
1 Ahmed, Amal
1 Alba-Castro, Mauricio
1 Åman, Pohjola Johannes
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 Bordis, Tabea
1 Bouajjani, Ahmed
1 Boulmé, Sylvain
...and 200 more Authors
all top 5

Cited in 32 Serials

18 Formal Aspects of Computing
10 Science of Computer Programming
6 Theoretical Computer Science
6 Formal Methods in System Design
5 The Journal of Logic and Algebraic Programming
4 Acta Informatica
2 Information and Computation
2 Journal of Automated Reasoning
2 Journal of Functional Programming
2 Fundamenta Informaticae
2 Concurrency and Computation: Practice & Experience
2 Lecture Notes in Computer Science
1 IEEE Transactions on Information Theory
1 Information Processing Letters
1 Computing
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
1 Journal of Symbolic Computation
1 Mathematical Structures in Computer Science
1 PU.M.A. Pure Mathematics and Applications
1 Constraints
1 Logic Journal of the IGPL
1 Soft Computing
1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 Mathematics in Computer Science
1 Annales Mathematicae et Informaticae
1 Logical Methods in Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

162 Computer science (68-XX)
22 Mathematical logic and foundations (03-XX)
3 Information and communication theory, circuits (94-XX)
2 General and overarching topics; collections (00-XX)
2 Numerical analysis (65-XX)
2 Systems theory; control (93-XX)

Citations by Year