形式仕様工程の初期段階に着目した統合仕様記述環境 ViennaTalk von 小田, 朋宏, 荒木, 啓二郎

Volltext

ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析 von 日下部, 茂, 林, 信宏, 大森, 洋一, 荒木, 啓二郎

Volltext

高専におけるAT技術者育成による共生社会の実現 von 荒木, 啓二郎, 大塚, 弘文, 清田, 公保, 渡辺, 考一, 石橋, 孝昭

Volltext

オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools von 佐原, 伸, 荒木, 啓二郎

Volltext

データ型に着目した形式仕様記述からの状態遷移系の抽出 von 三好, 健吾, 日下部, 茂, 荒木, 啓二郎

Volltext

ソフトウェア開発現場への形式手法導入: 形式手法適用の実経験から得られた知見 von 荒木, 啓二郎

Volltext

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Practical Education for Advanced Engineers of Kosen (NIT) Based on Assistive Technology for a Sustainable Society

Volltext

形式的手法に基づいた構造化ダイアグラムの一貫性検証について von 河野, 勝利, 張, 漢明, 荒木, 啓二郎

Volltext

並行動作システムのMirandaによる仕様記述 von 荒木, 啓二郎

Volltext

RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan von Goto, Eichi, Araki, Keijiro, Yuasa, Taiichi

Volltext

Description Style of Model-based Formal Specification Considering Executability and Readability von NAKATSUGAWA, Yasumasa, KURITA, Taro, ARAKI, Keijiro

Volltext

Theoretical aspects of computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24 2004 : revised selected papers von Liu, Zhiming, Araki, Keijiro

Volltext