ViennaTalk: An Integrated Specification Environment Focused on the Early Stage of the Formal Specification Phase
-
- ODA Tomohiro
- Key Technology Laboratory, Software Research Associates, Inc.
-
- ARAKI Keijiro
- Department of Advanced Information Technology, Kyushu University
Bibliographic Information
- Other Title
-
- 形式仕様工程の初期段階に着目した統合仕様記述環境 ViennaTalk
Description
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 engineers 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.
Journal
-
- Computer Software
-
Computer Software 34 (4), 4_129-4_143, 2017
Japan Society for Software Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1390001204736861952
-
- NII Article ID
- 130006855219
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- CiNii Articles
- KAKEN
-
- Abstract License Flag
- Disallowed