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


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.


  • Computer Software

    Computer Software 34 (4), 4_129-4_143, 2017

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

  • CRID
  • NII Article ID
  • DOI
  • ISSN
  • Text Lang
  • Data Source
    • JaLC
    • CiNii Articles
    • KAKEN
  • Abstract License Flag

Report a problem

Back to top