@InProceedings{Huisman2016,
author= {Huisman, Marieke and Ahrendt, Wolfgang and Grahl, Daniel and Hentschel, Martin},
editor="Ahrendt, Wolfgang
and Beckert, Bernhard
and Bubel, Richard
and H{\"a}hnle, Reiner
and Schmitt, Peter H.
and Ulbrich, Mattias",
title="Formal Specification with the Java Modeling Language",
bookTitle="Deductive Software Verification -- The KeY Book: From Theory to Practice",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="193--241",
abstract="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.",
isbn="978-3-319-49812-6",
doi="10.1007/978-3-319-49812-6_7",
url="https://doi.org/10.1007/978-3-319-49812-6_7"
}

{"_id":"3ob27w9EwFXx9Auv7","bibbaseid":"huisman-ahrendt-grahl-hentschel-formalspecificationwiththejavamodelinglanguage-2016","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Ahrendt, W.","Grahl, D.","Hentschel, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Ahrendt"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Grahl"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Hentschel"],"firstnames":["Martin"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Ahrendt"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Beckert"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Bubel"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Hähnle"],"firstnames":["Reiner"],"suffixes":[]},{"propositions":[],"lastnames":["Schmitt"],"firstnames":["Peter","H."],"suffixes":[]},{"propositions":[],"lastnames":["Ulbrich"],"firstnames":["Mattias"],"suffixes":[]}],"title":"Formal Specification with the Java Modeling Language","booktitle":"Deductive Software Verification – The KeY Book: From Theory to Practice","year":"2016","publisher":"Springer International Publishing","address":"Cham","pages":"193–241","abstract":"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.","isbn":"978-3-319-49812-6","doi":"10.1007/978-3-319-49812-6_7","url":"https://doi.org/10.1007/978-3-319-49812-6_7","bibtex":"@InProceedings{Huisman2016,\nauthor= {Huisman, Marieke and Ahrendt, Wolfgang and Grahl, Daniel and Hentschel, Martin},\neditor=\"Ahrendt, Wolfgang\nand Beckert, Bernhard\nand Bubel, Richard\nand H{\\\"a}hnle, Reiner\nand Schmitt, Peter H.\nand Ulbrich, Mattias\",\ntitle=\"Formal Specification with the Java Modeling Language\",\nbookTitle=\"Deductive Software Verification -- The KeY Book: From Theory to Practice\",\nyear=\"2016\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"193--241\",\nabstract=\"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.\",\nisbn=\"978-3-319-49812-6\",\ndoi=\"10.1007/978-3-319-49812-6_7\",\nurl=\"https://doi.org/10.1007/978-3-319-49812-6_7\"\n}\n\n","author_short":["Huisman, M.","Ahrendt, W.","Grahl, D.","Hentschel, M."],"editor_short":["Ahrendt, W.","Beckert, B.","Bubel, R.","Hähnle, R.","Schmitt, P. H.","Ulbrich, M."],"key":"Huisman2016","id":"Huisman2016","bibbaseid":"huisman-ahrendt-grahl-hentschel-formalspecificationwiththejavamodelinglanguage-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-49812-6_7"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.131Z","downloads":0,"keywords":[],"search_terms":["formal","specification","java","modeling","language","huisman","ahrendt","grahl","hentschel"],"title":"Formal Specification with the Java Modeling Language","year":2016,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y","YCBcQPneB9oxahSnp"]}