Jump to main content

yr 〜
yr

Search results 3

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形式工学手法 ソフトウエア検証 厳密なレビユ- 仕様テスト 仕様分析 形式的仕様 システム開発 ソフトウエ...

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:形式的手法と知的ソフトウエア工学環境
Paper図書
劉, 少英, 広島市立大学1996-1998<Y151-H08044167>
National Diet Library
  • Subject Heading形式的手法 形式的仕様 ソフトウエア支援環境 ソフトウエア検証 ソフトウエアテスト 厳密なレビユー 形式的意味 SOFL

Reached to the end of result.

RSS