検索結果 7 件
紙図書
国立国会図書館
- 件名Eunice97 オブジエクト指向 並行プログラム 継承異常 ソフトウエア開発 CASEツ-ル 要求仕様抽出 要求仕様検証
デジタル文書・図像類
全国の図書館
- 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア Cafe...
- 一般注記仕様検証法の最重要課題として(1)適切......を実現する技術の研究を、重要な仕様検証事例として(3)ソフトウェア自......ステムに統合することで、革新的仕様検証システムを実現した。本研究の成果である[革新的仕様検証システム=最新版CafeOBJ......1971 研究分野:形式手法、仕様検証、ソフトウェア工学 identifier:https://d...
検索結果は以上です。