図書

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

図書を表すアイコン

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

国立国会図書館請求記号
Y151-H11680368
国立国会図書館書誌ID
000007082866
資料種別
図書
著者
劉, 少英 (Liu, Shaoying) , 法政大学
出版者
-
出版年
1999-2001
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
Research on Rigorous Verification Techniques for Formal Specification and Design
著者・編者
劉, 少英 (Liu, Shaoying) , 法政大学
著者標目
劉, 少英 (Liu, Shaoying) リュウ, ショウエイ (Liu, Shaoying)
出版年月日等
1999-2001
出版年(W3CDTF)
1999
数量
その他のタイトル
研究種目 基盤研究(C)
件名標目
形式的工学手法 ケイシキテキコウガクシユホウ
ソフトウエア検証 ソフトウエアケンシヨウ
厳密なレビユ- ゲンミツナレビユ-
仕様分析 シヨウブンセキ
形式的仕様 ケイシキテキシヨウ
システム進化 システムシンカ
テスト テスト
形式的証明 ケイシキテキシヨウメイ