A formal modeling tool for exploratory modeling in software development

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)1210-1217
Number of pages8
JournalIEICE Transactions on Information and Systems
VolumeE100D
Issue number6
DOIs
Publication statusPublished - Jun 2017

Fingerprint

Software engineering
Computer simulation
Specification languages
Productivity
Specifications
Engineers
Formal specification
Industry

All Science Journal Classification (ASJC) codes

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

Cite this

A formal modeling tool for exploratory modeling in software development. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.

In: IEICE Transactions on Information and Systems, Vol. E100D, No. 6, 06.2017, p. 1210-1217.

Research output: Contribution to journalArticle

Oda, Tomohiro ; Araki, Keijiro ; Larsen, Peter Gorm. / A formal modeling tool for exploratory modeling in software development. In: IEICE Transactions on Information and Systems. 2017 ; Vol. E100D, No. 6. pp. 1210-1217.
@article{be74b095ae3f488187cd3a3bf6948d53,
title = "A formal modeling tool for exploratory modeling in software development",
abstract = "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.",
author = "Tomohiro Oda and Keijiro Araki and Larsen, {Peter Gorm}",
year = "2017",
month = "6",
doi = "10.1587/transinf.2016FOP0003",
language = "English",
volume = "E100D",
pages = "1210--1217",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "一般社団法人電子情報通信学会",
number = "6",

}

TY - JOUR

T1 - A formal modeling tool for exploratory modeling in software development

AU - Oda, Tomohiro

AU - Araki, Keijiro

AU - Larsen, Peter Gorm

PY - 2017/6

Y1 - 2017/6

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

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

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

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

U2 - 10.1587/transinf.2016FOP0003

DO - 10.1587/transinf.2016FOP0003

M3 - Article

AN - SCOPUS:85020112825

VL - E100D

SP - 1210

EP - 1217

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 6

ER -