検索結果 6 件
デジタル文書・図像類
全国の図書館
- 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明
- 一般注記...した。(1)-(4)の成果を、CafeOBJ仕様言語システムに統合すること......革新的仕様検証システム=最新版CafeOBJ仕様言語システム]はホームページ(cafeobj.org)を通じてフリーウェア......)-(4) into the CafeOBJ specification ......est version of CafeOBJ specification ......est version of CafeOBJ specification ......eware from the CafeOBJ web page (cafeobj.org) and can be executed on U...
検索結果は以上です。