Jump to main content

yr 〜
yr

Search results 2

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

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

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

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
Paper図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
National Diet Library
  • Subject Heading形式工学手法 ソフトウエア検証 厳密なレビユ- 仕様テスト 仕様分析 形式的仕様 システム開発 ソフトウエア進化

Reached to the end of result.

RSS