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

Tomohiro Oda, Keijiro Araki

研究成果: Contribution to journalArticle査読

1 被引用数 (Scopus)

抄録

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.

本文言語英語
ページ(範囲)129-143
ページ数15
ジャーナルComputer Software
34
4
出版ステータス出版済み - 11 2017

All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル