階層リアクティブシステムの仕様記述
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 階層的なシステム要求及び形式仕様の記述方法を提案する. 我々は特に(1)システム構造の階層性, (2)システム要求, (3)形式仕様, (4)健全性及び完全性, (5)形式仕様の合成, という点を取り扱う.
- 社団法人電子情報通信学会の論文
- 1999-07-21
著者
関連論文
- M-pi計算 : モジュール記述を持つ計算体系
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)
- π計算に対する証明システム
- システム要求と仕様記述の検証
- An Effective Environment for Software Development
- 階層リアクティブシステムの仕様記述