年 〜
年

検索結果 106 件

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
紙図書
二木厚吉 著サイエンス社2017.9<M159-L1326>
国立国会図書館全国の図書館
  • 著者標目二木, 厚吉, 1948-

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

証明スコア法に基づく革新的仕様検証システムの構築
デジタル文書・図像類
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 著者標目二木, 厚吉

振舞仕様に基づく問題モデルの構築と検証

振舞仕様に基づく問題モデルの構築と検証
紙図書
二木厚吉, 北陸先端科学技術大学院大学 [著][二木厚吉]2003-2005<Y151-H15300007>
国立国会図書館
  • 著者標目二木, 厚吉 北陸先端科学技術大学院大学

分散オブジエクト環境におけるコンポネント仕様の検証に関する研究

分散オブジエクト環境におけるコンポネント仕様の検証に関する研究
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1999-2002<Y151-H11480067>
国立国会図書館
  • 著者標目二木, 厚吉

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

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1998-2001<Y151-H10558043>
国立国会図書館
  • 著者標目二木, 厚吉

並行書き換え抽象機械の研究

並行書き換え抽象機械の研究
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1995-1997<Y151-H07458056>
国立国会図書館
  • 著者標目二木, 厚吉

証明スコアによる問題モデルの検証技術

証明スコアによる問題モデルの検証技術
デジタル文書・図像類
二木, 厚吉2010-04-10科学研究費補助金研究成果報告書p.1-4
全国の図書館
  • 著者標目二木, 厚吉

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
紙図書
Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)Springerc2014
全国の図書館
  • 著者標目二木, 厚吉 飯田, 周作 Meseguer, José 緒方, 和博

法令対象ドメインの形式仕様と検証

法令対象ドメインの形式仕様と検証
デジタル文書・図像類
二木, 厚吉, 緒方, 和博, 有本, 泰仁2007-09-07p.1-53
全国の図書館
  • 著者標目二木, 厚吉 緒方, 和博 有本, 泰仁

振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications

振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications
紙図書
研究代表者 二木厚吉[二木厚吉]2006.3
全国の図書館
  • 著者標目二木, 厚吉

COE Research Monograph Series, Vol. 2 : 法令工学の提案

COE Research Monograph Series, Vol. 2 : 法令工学の提案
デジタル図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良JAIST Press2007-092
全国の図書館
  • 著者標目片山, 卓也 島津, 明 東条, 敏 二木, 厚吉 緒方, 和博 有本, 泰仁 落水, 浩一郎 早坂, 良

分散オブジェクト環境におけるコンポネント仕様の検証に関する研究

分散オブジェクト環境におけるコンポネント仕様の検証に関する研究
紙図書
研究代表者 二木厚吉[二木厚吉]2003.3
全国の図書館
  • 著者標目二木, 厚吉

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
紙図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)Springerc2006
全国の図書館
  • 著者標目二木, 厚吉 Jouannaud, Jean-Pierre Mesegu...

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

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
紙図書
研究代表者 二木厚吉[二木厚吉]2002.3
全国の図書館
  • 著者標目二木, 厚吉

Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers

Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
紙図書
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)Springerc2004
全国の図書館
  • 著者標目ISSS 二木, 厚吉 溝口, 文雄 米崎, 直樹

平行書き換え抽象機械の研究

平行書き換え抽象機械の研究
紙図書
研究代表者 二木厚吉[二木厚吉]1998.3
全国の図書館
  • 著者標目二木, 厚吉

CAFE : an industrial-strength algebraic formal method

CAFE : an industrial-strength algebraic formal method
紙図書
edited by K. Futatsugi, A. T. Nakagawa, T. TamaiElsevierc2000
全国の図書館
  • 著者標目二木, 厚吉 Nakagawa, Ataru, T. Tamai, Te...

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
紙図書
二木厚吉 監修, 佐藤武久, 大槻繁, 金藤栄孝 著日科技連出版社1997.12<M159-G1811>
国立国会図書館全国の図書館
  • 著者標目二木, 厚吉, 1948- 佐藤, 武久, 1952- 大槻, 繁, 1...

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
紙図書
Răzvan Diaconescu, Kokichi FutatsugiWorld Scientificc1998
全国の図書館
  • 著者標目Diaconescu, Răzvan 二木, 厚吉

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
紙図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>
国立国会図書館