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 Cited in: 151 Publications all top 5 Cited 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 all top 5 Cited in 32 Serials 17 Formal Aspects of Computing 10 Science of Computer Programming 6 Theoretical Computer Science 5 Formal Methods in System Design 5 The Journal of Logic and Algebraic Programming 4 Acta Informatica 2 Information and Computation 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 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 PU.M.A. Pure Mathematics and Applications 1 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 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Annales Mathematicae et Informaticae 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 150 Computer science (68-XX) 21 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) 1 Systems theory; control (93-XX) Citations by Year