Title :
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification
Author :
Oda, Tomohiro ; Araki, Keijiro ; Larsen, Peter Gorm
Author_Institution :
Technol. Lab., Software Res. Assoc., Inc., Tokyo, Japan
Abstract :
The lightweight use of formal methods is an effective approach to using formal specifications in various phases of software development. This paper proposes tool support specialised for the earlier stages of development that involves incremental and exploratory production of a formal specification. The VDMPad tool is described, as well as its features supporting incremental and exploratory development.
Keywords :
formal specification; software tools; VDMPad tool; Vienna Development Method; exploratory VDM-SL specification; formal methods; formal specification; integrated development environment; lightweight IDE; software development; specification language; Animation; Browsers; Natural languages; Servers; Syntactics; Testing; User interfaces; Animation; Exploratory Formal Specification; VDM; Web IDE;
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on
Conference_Location :
Florence
DOI :
10.1109/FormaliSE.2015.13
