Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Details

Autor(en) / Beteiligte
Titel
Formal Specification with the Java Modeling Language
Ist Teil von
  • Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.193-241
Ort / Verlag
Switzerland: Springer International Publishing AG
Erscheinungsjahr
2016
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • 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.
Sprache
Englisch
Identifikatoren
ISBN: 3319498118, 9783319498119
ISSN: 0302-9743, 1611-3349
eISSN: 1611-3349
DOI: 10.1007/978-3-319-49812-6_7
Titel-ID: cdi_swepub_primary_oai_research_chalmers_se_30e65221_2fdb_4d11_80dd_3b9f7608f88a

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX