Jump to main content

yr 〜
yr

Search results 3

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
Paper図書
二木, 厚吉, 北陸先端科学技術大学院大学1998-2001<Y151-H10558043>
National Diet Library
  • Subject Headingコンポーネント 機能的性質 非機能的性質 代数仕様 ソフトウエア発展 射影型振舞仕様 詳細化検証 木アーキテク...

証明スコア法に基づく革新的仕様検証システムの構築

証明スコア法に基づく革新的仕様検証システムの構築
Digital文書・図像類
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Subject Heading仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明

モジュラーな項書き換えシステムに基づく仕様検証システムの開発

モジュラーな項書き換えシステムに基づく仕様検証システムの開発
Digital文書・図像類
中村, 正樹, Nakamura, Masaki2009-04-23平成20(2008)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2008 Fiscal Year Final Research Report2006 – 2008p.5p.-
Other Libraries in Japan
  • Subject Heading形式手法 検証システム 項書換えシステム 代数仕様 モジュールシステム 仕様変換 ソフトウェアテスト

Reached to the end of result.

RSS