yr 〜
yr

Search results 106

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

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
Paper図書
二木厚吉 著サイエンス社2017.9<M159-L1326>
National Diet LibraryOther Libraries in Japan
  • Author Heading二木, 厚吉, 1948-

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

証明スコア法に基づく革新的仕様検証システムの構築
Digital文書・図像類
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Author Heading二木, 厚吉

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

振舞仕様に基づく問題モデルの構築と検証
Paper図書
二木厚吉, 北陸先端科学技術大学院大学 [著][二木厚吉]2003-2005<Y151-H15300007>
National Diet Library
  • Author Heading二木, 厚吉 北陸先端科学技術大学院大学

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

分散オブジエクト環境におけるコンポネント仕様の検証に関する研究
Paper図書
二木, 厚吉, 北陸先端科学技術大学院大学1999-2002<Y151-H11480067>
National Diet Library
  • Author Heading二木, 厚吉

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

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
Paper図書
二木, 厚吉, 北陸先端科学技術大学院大学1998-2001<Y151-H10558043>
National Diet Library
  • Author Heading二木, 厚吉

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

並行書き換え抽象機械の研究
Paper図書
二木, 厚吉, 北陸先端科学技術大学院大学1995-1997<Y151-H07458056>
National Diet Library
  • Author Heading二木, 厚吉

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

証明スコアによる問題モデルの検証技術
Digital文書・図像類
二木, 厚吉2010-04-10科学研究費補助金研究成果報告書p.1-4
Other Libraries in Japan
  • Author Heading二木, 厚吉

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

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
Paper図書
Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)Springerc2014
Other Libraries in Japan
  • Author Heading二木, 厚吉 飯田, 周作 Meseguer, José 緒方, 和博

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

法令対象ドメインの形式仕様と検証
Digital文書・図像類
二木, 厚吉, 緒方, 和博, 有本, 泰仁2007-09-07p.1-53
Other Libraries in Japan
  • Author Heading二木, 厚吉 緒方, 和博 有本, 泰仁

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

振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications
Paper図書
研究代表者 二木厚吉[二木厚吉]2006.3
Other Libraries in Japan
  • Author Heading二木, 厚吉

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

COE Research Monograph Series, Vol. 2 : 法令工学の提案
Digital図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良JAIST Press2007-092
Other Libraries in Japan
  • Author Heading片山, 卓也 島津, 明 東条, 敏 二木, 厚吉 緒方, 和博 有本, 泰仁 落水, 浩一郎 早坂, 良

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

分散オブジェクト環境におけるコンポネント仕様の検証に関する研究
Paper図書
研究代表者 二木厚吉[二木厚吉]2003.3
Other Libraries in Japan
  • Author Heading二木, 厚吉

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
Paper図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading二木, 厚吉 Jouannaud, Jean-Pierre Mesegu...

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

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
Paper図書
研究代表者 二木厚吉[二木厚吉]2002.3
Other Libraries in Japan
  • Author Heading二木, 厚吉

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
Paper図書
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingISSS 二木, 厚吉 溝口, 文雄 米崎, 直樹

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

平行書き換え抽象機械の研究
Paper図書
研究代表者 二木厚吉[二木厚吉]1998.3
Other Libraries in Japan
  • Author Heading二木, 厚吉

CAFE : an industrial-strength algebraic formal method

CAFE : an industrial-strength algebraic formal method
Paper図書
edited by K. Futatsugi, A. T. Nakagawa, T. TamaiElsevierc2000
Other Libraries in Japan
  • Author Heading二木, 厚吉 Nakagawa, Ataru, T. Tamai, Te...

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

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
Paper図書
二木厚吉 監修, 佐藤武久, 大槻繁, 金藤栄孝 著日科技連出版社1997.12<M159-G1811>
National Diet LibraryOther Libraries in Japan
  • Author Heading二木, 厚吉, 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
Paper図書
Răzvan Diaconescu, Kokichi FutatsugiWorld Scientificc1998
Other Libraries in Japan
  • Author HeadingDiaconescu, Răzvan 二木, 厚吉

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

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