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.
|Number of pages||15|
|Publication status||Published - Nov 2017|
All Science Journal Classification (ASJC) codes