本文に飛ぶ

年 〜
年

検索結果 3 件

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

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
国立国会図書館
  • 件名形式的工学手法 ソフトウエア検証 厳密なレビユ- 仕様分析 形式的仕様 システム進化 テスト 形式的証明

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
国立国会図書館
  • 件名形式工学手法 ソフトウエア検証 厳密なレビユ- 仕様テスト 仕様分析 形式的仕様 システム開発 ソフトウエ...

Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境

Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境
紙図書
劉, 少英, 広島市立大学1996-1998<Y151-H08044167>
国立国会図書館
  • 件名形式的手法 形式的仕様 ソフトウエア支援環境 ソフトウエア検証 ソフトウエアテスト 厳密なレビユー 形式的意味 SOFL

検索結果は以上です。

RSS