Is this you? Create Your Porfile
Avatar

荒木 啓二郎

Kyushu University

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where 荒木 啓二郎 is active.

Explore More

Publication

Featured researches published by 荒木 啓二郎.

IPSJ SIG Notes | 2010

A Proposition of Refinement and Verification Method from Requirements to A Synchronous State Machine Model

大森 洋一; Yoichi Omori; 園田 貴大; Takahiro Sonoda; 荒木 啓二郎; Keijiro Araki

研究報告ソフトウェア工学（SE） | 2015

ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討

大森 洋一; 林 信宏; 日下部 茂; 荒木 啓二郎

The journal of Reliability Engineering Association of Japan | 2009

Model Oriented Formal Method VDM and Specification Language VDM++ : Toward Development of Highly Reliable Systems(Reliability and Safety of IT System)

栗田 太郎; Kurita Taro; Araki Keijiro; 荒木 啓二郎

Archive | 2009

Study on Formal Methods Applicable to Practical Software Development

荒木 啓二郎; Araki Keijiro

IPSJ Journal | 2008

An Approach to Foster Highly Skilled ICT Personnel through Large Scale Business-academia Collaboration

Noriaki Sakamoto; 坂本 憲昭; 深瀬 光聡; Mitsuaki Fukase; 峯 恒憲; Tsunenori Mine; 日下部 茂; Shigeru Kusakabe; 中西 恒夫; Tsuneo Nakanishi; 大森洋一; Yoichi Omori; 北須賀 輝明; Teruaki Kitasuka; ウッディンモハマッドメスバ; Mohammad MesbahUddin; 荒木 啓二郎; Keijiro Araki; 福田 晃; Akira Fukuda; 安浦 寛人; Hiroto Yasuura; サカモト ノリアキ; フカセ ミツアキ; ミネ ツネノリ; クサカベ シゲル; ナカニシ ツネオ; オオモリ ヨウイチ; キタスカ テルアキ; ウッディン モハマッド メスバ

Technical report of IEICE. SS | 2007

A Formal Model Verification on Robot Control Software

大森 洋一; Omori Yoichi; 井ノ口 裕也; Inokuchi Yuya; 荒木 啓二郎; Araki Keijiro

Technical report of IEICE. SS | 2006

A Virtual Bookshelf Disposing Scroop Images over Network

Miyagawa Takuya; 宮川 拓也; 山口 恭平; Yamaguchi Kyohei; Omori Yoichi; 大森 洋一; Ikeda Daisuke; 池田 大輔; 荒木 啓二郎; Araki Keijiro

Technical report of IEICE. SS | 2005

A Method to Find Differences between Two Programs for Syntax based Versioning Systems

張 暁晶; Zhang Xiaojing; Omori Yoichi; 大森 洋一; 荒木 啓二郎; Araki Keijiro

Archive | 2004

System Modeling and Property Interference Analysis in Software Development

荒木 啓二郎; Araki Keijiro

情報処理学会研究報告. MBL, [モバイルコンピューティングとワイヤレス通信] | 2002

Location-based Groupware in a Ubiquitous Computing Environment

Tomonaga Kosuke; 朝長 康介; 太田 昌孝; Ota Masataka; 荒木 啓二郎; Araki Keijiro

Explore More

Collaboration

Dive into the 荒木 啓二郎's collaboration.

Top Co-Authors
Avatar

Araki Keijiro

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

大森 洋一

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

Omori Yoichi

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

Yoichi Omori

Nara Institute of Science and Technology

View shared research outputs
Top Co-Authors
Avatar

日下部 茂

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

村上 美幸

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

Akira Fukuda

Kyushu University

View shared research outputs
Top Co-Authors
Avatar

Hiroto Yasuura

Fukuoka University

View shared research outputs
Top Co-Authors
Avatar

Hori Yoshiaki

Kyushu Institute of Design

View shared research outputs
Top Co-Authors
Avatar

Ikeda Daisuke

Kyushu University

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge