本文に飛ぶ

年 〜
年

検索結果 106 件

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
紙図書
荒木啓二郎, 九州大学 [著][荒木啓二郎]2004-2006<Y151-H16300007>
国立国会図書館

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
紙図書
荒木, 啓二郎, 九州大学2000-2001<Y151-H12680354>
国立国会図書館

システム理論に基づくICT利活用プロジェクトのリスク低減化手法の研究

システム理論に基づくICT利活用プロジェクトのリスク低減化手法の研究
デジタル規格・テクニカルリポート類
日下部, 茂, 小松, 文子, 加藤, 雅彦, 荒木, 啓二郎, KUSAKABE, Shigeru, KOMATSU, Ayako, KATO, Masahiko, ARAKI, Keijiro長崎県立大学2018-03-31学長裁量研究成果報告平成29年度 シーボルト校p.1-2
全国の図書館

セキユリテイプロトコルの形式的記述および検証に関する基礎的研究

セキユリテイプロトコルの形式的記述および検証に関する基礎的研究
紙図書
荒木, 啓二郎, 九州大学1998-1999<Y151-H10680358>
国立国会図書館

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
紙デジタル図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
国立国会図書館全国の図書館

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
紙図書
荒木, 啓二郎, 奈良先端科学技術大学院大学1992-1993<Y151-H04452196>
国立国会図書館

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
紙図書
研究代表者 荒木啓二郎[九州大学]2007.3
全国の図書館

ソフトウェア開発のモデル化技法

ソフトウェア開発のモデル化技法
紙マイクロ図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳岩波書店2003.2<YU7-H366>
国立国会図書館全国の図書館

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
紙図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)Springerc2008
全国の図書館

プログラム仕様記述論 (IT text)

プログラム仕様記述論 (IT text)
紙図書
荒木啓二郎, 張漢明 共著オーム社2002.11<M159-H44>
国立国会図書館全国の図書館

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
紙図書
Zhiming Liu, Keijiro Araki (eds.)Springerc2005
全国の図書館

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
紙図書
研究代表者 荒木 啓二郎[九州大学]2002.3
全国の図書館

セキュリティプロトコルの形式的記述および検証に関する基礎的研究

セキュリティプロトコルの形式的記述および検証に関する基礎的研究
紙図書
研究代表者荒木啓二郎[九州大学]2000.3
全国の図書館

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
紙図書
荒木啓二郎, 張漢明 編近代科学社1999.12<M159-G186>
国立国会図書館全国の図書館
  • 内容細目...Ramamonjisoa‖著 荒木 啓二郎/編 嘉数 侑昇／著 荻野 隆彦／著 張 漢明／著 小野 康...

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
紙図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
全国の図書館

（付属電子媒体）ソフトウェア開発のモデル化技法

（付属電子媒体）ソフトウェア開発のモデル化技法
紙図書
Ｊ．フィッツジェラルド 著 ; Ｐ．Ｇ．ラーセン 著 ; 荒木啓二郎 ほか訳岩波書店２００３．２
全国の図書館

プログラミング言語の意味論入門 (Information & computing ; 76)

プログラミング言語の意味論入門 (Information & computing ; 76)
紙デジタル図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
国立国会図書館全国の図書館

Pascal型プログラムの公理論的検証法に関する研究

Pascal型プログラムの公理論的検証法に関する研究
紙博士論文
荒木啓二郎 [著]<UT51-58-E547>
国立国会図書館

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
紙図書
Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)Springerc1999
全国の図書館

プログラミング言語Ada (Information & computing ; 11)

プログラミング言語Ada (Information & computing ; 11)
紙デジタル図書障害者向け資料あり
J.G.P.バーンズ 著, 牛島和夫, 荒木啓二郎 共訳サイエンス社1987.6<M159-1964>
インターネットで読める国立国会図書館全国の図書館
RSS