CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Formal Specification with the Java Modeling Language

Marieke Huisman ; Wolfgang Ahrendt (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Daniel Grahl ; Martin Hentschel
Deductive Software Verification - The KeY Book p. 193-241. (2016)
[Kapitel]

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.

Nyckelord: Software Specification, Software Verification, Solftware Analysis


Lecture Notes in Computer Science, Volume 10001



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2017-01-05. Senast ändrad 2017-11-29.
CPL Pubid: 246669

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)