VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages33-39
Number of pages7
ISBN (Electronic)9781479919345
DOIs
Publication statusPublished - Jul 24 2015
Event3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 - Florence, Italy
Duration: May 18 2015 → …

Other

Other3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
CountryItaly
CityFlorence
Period5/18/15 → …

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification'. Together they form a unique fingerprint.

Cite this