A formal modeling tool for exploratory modeling in software development

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

研究成果: Contribution to journalArticle

3 引用 (Scopus)

抜粋

The software development process is front-loaded when formal specification is deployed and as a consequence more problems are identified and solved at an earlier point of time. This places extra importance on the quality and efficiency of the different formal specification tasks. We use the term "exploratory modeling" to denote the modeling that is conducted during the early stages of software development before the requirements are clearly understood. We believe tools that support not only rigorous but also flexible construction of the specification at the same time are helpful in such exploratory modeling phases. This paper presents a web-based IDE named VDMPad to demonstrate the concept of exploratory modeling. VDMPad has been evaluated by experienced professional VDM engineers from industry. The positive evaluation resulting from such industrial users are presented. It is believed that flexible and rigorous tools for exploratory modeling will help to improve the productivity of the industrial software developments by making the formal specification phase more efficient.

元の言語英語
ページ(範囲)1210-1217
ページ数8
ジャーナルIEICE Transactions on Information and Systems
E100D
発行部数6
DOI
出版物ステータス出版済み - 6 2017

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

フィンガープリント A formal modeling tool for exploratory modeling in software development' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用