通信システム仕様の高速検証方式
スポンサーリンク
概要
- 論文の詳細を見る
- 1995-05-18
著者
関連論文
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- E-R モデルを用いた視覚的プログラミング言語 : PSDL-GR とその一実現法
- 広域状態遷移規則を用いた通信サービス仕様記述における可到達解析
- 通信システム仕様の高速検証方式
- 通信ソフトウェア仕様の検証に関する課題
- 広域状態遷移ルールの述語的解釈による可到達判定
- プロダクションシステムを用いた通信ソフトウェア仕様の可到達解析に関する考察
- 概念データモデルで記述された仕様の関数型言語への変換