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 → …

Fingerprint

Specification languages
Specifications
Formal methods
Software engineering
Formal specification

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Oda, T., Araki, K., & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. In Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 (pp. 33-39). [7166695] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/FormaliSE.2015.13

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 proceedingConference 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
Oda T, Araki K, Larsen PG. VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. In Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 33-39. 7166695 https://doi.org/10.1109/FormaliSE.2015.13
Oda, Tomohiro ; Araki, Keijiro ; Larsen, Peter Gorm. / VDMPad : A Lightweight IDE for Exploratory VDM-SL Specification. Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 33-39
@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 = "7",
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",

}

TY - GEN

T1 - VDMPad

T2 - A Lightweight IDE for Exploratory VDM-SL Specification

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

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.

ER -