Formal Specification with the Java Modeling Language
Kapitel i bok, 2016
This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool for the verification of Java software, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on any specific tool nor verification methodology in any way. This introduction is written for all readers with an interest in formal specification of software in general, and anyone who wants to learn about the JML approach to specification in particular.
Software Verification
Solftware Analysis
Software Specification
Författare
Marieke Huisman
University of Twente
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Programvaruteknik
Daniel Grahl
Karlsruher Institut für Technologie (KIT)
Martin Hentschel
Technische Universitat Darmstadt
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
193-241978-3-319-49811-9 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Drivkrafter
Hållbar utveckling
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
DOI
10.1007/978-3-319-49812-6_7
ISBN
978-3-319-49811-9