Search results 6
Paper図書
National Diet Library
- Subject Headingコンポ-ネント 高信頼 支援ツ-ル CafeOBJ モジユ-ルシステム 仕様 分散システム 検証
Paper図書
National Diet Library
- Subject Heading問題モデル / システム検証 / システム安全性 / フォーマルメソッド / 振舞仕様 / 要求仕様 / CafeOBJ
Digital博士論文障害者向け資料あり
National Diet Library
- Subject Heading...k Proof Scores CafeOBJ
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Heading...k Proof Scores CafeOBJ
Digital文書・図像類
Other Libraries in Japan
- Subject Heading仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明
- Note (General)...した。(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...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading仕様記述 仕様検証 モデル検査 仕様変換 観測遷移システム CafeOBJ Maude メタプログラミング