VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

研究成果: 著書/レポートタイプへの貢献会議での発言

6 引用 (Scopus)

抜粋

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.

元の言語英語
ホスト出版物のタイトルProceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
出版者Institute of Electrical and Electronics Engineers Inc.
ページ33-39
ページ数7
ISBN(電子版)9781479919345
DOI
出版物ステータス出版済み - 7 24 2015
イベント3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 - Florence, イタリア
継続期間: 5 18 2015 → …

その他

その他3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
イタリア
Florence
期間5/18/15 → …

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Software

これを引用

Oda, T., Araki, K., & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. : 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