検索結果 6 件
紙図書
国立国会図書館
- 件名形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形式仕様の検査 システム記述事例研究 段階的詳細化設計
デジタルその他
全国の図書館
- 件名開放型分散システム 段階的詳細化 詳細化検証 時間オートマトン ハイブリッドモデル Assu...
- 一般注記...り、実用レベルの分散システムの段階的詳細化設計が可能となった。(2)実時......状態を有する分散ソフトウェアの段階的詳細化設計が可能となった。(3)実時......実用レベルの分散ソフトウェアの段階的詳細化設計が可能となった。(4)ハイ......御法則を含む分散ソフトウェァの段階的詳細化設計が可能となった。今後の課題としては、以上の開発した手法を...
検索結果は以上です。
RSSRSS