VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen

doi:10.1109/FormaliSE.2015.13

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Advanced Software Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 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 language	English
Title of host publication	Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	33-39
Number of pages	7
ISBN (Electronic)	9781479919345
DOIs	https://doi.org/10.1109/FormaliSE.2015.13
Publication status	Published - Jul 24 2015
Event	3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 - Florence, Italy Duration: May 18 2015 → …

Other

Other	3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
Country/Territory	Italy
City	Florence
Period	5/18/15 → …

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.1109/FormaliSE.2015.13

Cite this

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.
Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 33-39 7166695.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Oda, T, Araki, K & Larsen, PG 2015, VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. in Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015., 7166695, Institute of Electrical and Electronics Engineers Inc., pp. 33-39, 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015, Florence, Italy, 5/18/15. https://doi.org/10.1109/FormaliSE.2015.13

@inproceedings{b15c73c7df2043698ac11a393cab8077,

title = "VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification",

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.",

author = "Tomohiro Oda and Keijiro Araki and Larsen, {Peter Gorm}",

year = "2015",

month = jul,

day = "24",

doi = "10.1109/FormaliSE.2015.13",

language = "English",

pages = "33--39",

booktitle = "Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 ; Conference date: 18-05-2015",

}

TY - GEN

T1 - VDMPad

T2 - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015

AU - Oda, Tomohiro

AU - Araki, Keijiro

AU - Larsen, Peter Gorm

PY - 2015/7/24

Y1 - 2015/7/24

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84946078713&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84946078713&partnerID=8YFLogxK

U2 - 10.1109/FormaliSE.2015.13

DO - 10.1109/FormaliSE.2015.13

M3 - Conference contribution

AN - SCOPUS:84946078713

SP - 33

EP - 39

BT - Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 18 May 2015

ER -

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this