ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase

Tomohiro Oda, Keijiro Araki

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

The specification phase is an important phase in software development, and it is known that a defect in a specification seriously degrades the productivity and reliability of the overall development. Formal specification is a kind of functional modeling technique to define the functionality of the system rigorously at an appropriate level of abstraction using tools with mathematical backgrounds. The formal specification engi- neers perform the early stage of the modeling task, exploring the problem domain and learning the domain knowledge and requirements. This article explains the requirements on the support tools for the exploratory modeling, and introduces ViennaTalk, an integrated development environment for exploratory modeling in the formal specification language VDM-SL. Its design rationales, concrete design and implementation are also described.

Original languageEnglish
Pages (from-to)129-143
Number of pages15
JournalComputer Software
Volume34
Issue number4
Publication statusPublished - Nov 2017

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase'. Together they form a unique fingerprint.

Cite this