モデルを用いたシステムの自然言語要求仕様書の品質向上（第2報）－有限状態機械からのSPARKコードの生成

摘要

自動車·航空機や鉄道といったセーフティクリティカルシステムでは，信頼性·安全性が重要である．ライフサイクルの初期段階における誤りは，コストが掛かるということに加えて，これらシステムでは，開発が長期間に渡る．従って，後工程での誤りの発見は，手戻りのための多くの時間を必要とする．もちろh，間違った仕様は，最終的に出荷された場合，安全性に大きな影響を及ぼすことになる．従って，要求を正しく形式化した仕様が必要となる．