2000 · 126 citations · 6 references
ComputingComputer ScienceFormal MethodsProgramming LanguagesSoftware EngineeringAssertion-based VerificationDesign SpecificationProgramming Language DesignSoftware DesignSpecification LanguagesVerificationAssertion CheckingExpression NotationFormal DebuggingFormal ModelingSoftware VerificationSpecification Notation
JML is a notation for specifying the detailed design of Java classes and interfaces. JML's assertions are stated using a slight extension of Java's expression syntax. This should make it easy to use. Tools for JML aid in static analysis, verification, and run-time debugging of Java code.
6
Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations
Bart Jacobs, Joachim van den Berg, Marieke Huisman et al. · 1998 · 77 citations
Desugaring JML Method Specifications
Arun D. Raghavan, Gary T. Leavens · 2005 · 40 citations · Full text