yr 〜
yr

Search results 106

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

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

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

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

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

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

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

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

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

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
PaperDigital図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
National Diet LibraryOther Libraries in Japan

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

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

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

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

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

ソフトウェア開発のモデル化技法
PaperMicroform図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳岩波書店2003.2<YU7-H366>
National Diet LibraryOther Libraries in Japan

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
Paper図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)Springerc2008
Other Libraries in Japan

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

プログラム仕様記述論 (IT text)
Paper図書
荒木啓二郎, 張漢明 共著オーム社2002.11<M159-H44>
National Diet LibraryOther Libraries in Japan

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
Paper図書
Zhiming Liu, Keijiro Araki (eds.)Springerc2005
Other Libraries in Japan

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

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

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

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

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
Paper図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
Other Libraries in Japan

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

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

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

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

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

Pascal型プログラムの公理論的検証法に関する研究
Paper博士論文
荒木啓二郎 [著]<UT51-58-E547>
National Diet Library

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

プログラミング言語の意味論入門 (Information & computing ; 76)
PaperDigital図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
National Diet LibraryOther Libraries in Japan

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
Paper図書
Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)Springerc1999
Other Libraries in Japan

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

プログラミング言語Ada (Information & computing ; 11)
PaperDigital図書
J.G.P.バーンズ 著, 牛島和夫, 荒木啓二郎 共訳サイエンス社1987.6<M159-1964>
Available onlineNational Diet LibraryOther Libraries in Japan