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.

Solftware Analysis

Software Verification

Software Specification

Författare

Marieke Huisman

Universiteit Twente

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Programvaruteknik

Daniel Grahl

Karlsruher Institut für Technologie (KIT)

Martin Hentschel

Technische Universität Darmstadt

Lecture Notes in Computer Science

0302-9743 (ISSN)

193-241

Styrkeområden

Informations- och kommunikationsteknik

Drivkrafter

Hållbar utveckling

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1007/978-3-319-49812-6_7

ISBN

978-3-319-49811-9