形式仕様工程の初期段階に着目した統合仕様記述環境 ViennaTalk

DOI

書誌事項

タイトル別名
  • ViennaTalk: An Integrated Specification Environment Focused on the Early Stage of the Formal Specification Phase

抄録

ソフトウェアシステムの開発において仕様記述は重要な工程であり，仕様記述の曖昧さや誤りは開発全体の生産性および信頼性に重大な影響を与えることが知られている．形式仕様を記述することはモデリングの一種であり，数学的な裏付けのある道具立てによって適切な抽象度でシステムの機能を厳密に定義する工程である．厳密で適切な抽象度の仕様記述を得るために，形式仕様記述者は仕様記述の初期段階において問題領域を探索し対象ドメインの知識獲得や要求項目への理解を深めながらモデリングを進める．本論文では，探索的なモデリングを支援するためのツールに求められる性質を示した上で，形式仕様記述言語VDM-SLによる探索的モデリングを支援する統合開発環境ViennaTalkのデザイン指針，設計および実装を示す．

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

  • CRID
    1390001204736861952
  • NII論文ID
    130006855219
  • DOI
    10.11309/jssst.34.4_129
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles
    • KAKEN
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ