荒木 啓二郎 | 九州大学システム情報科学研究院
スポンサーリンク
概要
関連著者
-
荒木 啓二郎
九州大学システム情報科学研究院
-
荒木 啓二郎
九州大学大学院システム情報科学研究院
-
大森 洋一
九州大学システム情報科学研究院
-
大森 洋一
九州大学大学院システム情報科学研究院
-
日下部 茂
九州大学大学院システム情報科学研究院
-
日下 部茂
九州大学大学院総合理工学研究科
-
日下部 茂
九州大学
-
日下部 茂
九州大学大学院システム情報科学府・研究院
-
荒木 啓二郎
九州大学
-
峯 恒憲
九州大学大学院システム情報科学研究院
-
峯 恒憲
九大
-
福田 晃
九州大学大学院システム情報科学研究院
-
坂本 憲昭
九州大学
-
峯 恒憲
九州大学
-
峯 恒憲
九州大学大学院システム情報科学研究院情報知能工学部門
-
福田 晃
九州大学
-
大森 洋一
九州大学 大学院システム情報科学研究院
-
深瀬 光聡
九州大学:新日鉄ソリューションズ
-
安浦 寛人
九州大学大学院システム情報科学研究院
-
安浦 寛人
九州大学
-
安浦 寛人
九州大学大学院システム情報科学研究科情報工学専攻
-
ウッディン モハマッド
九州大学
-
和田 祐介
九州大学大学院システム情報科学府
-
園田 貴大
九州大学
-
中西 恒夫
九州大学システムLSI研究センター
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
園田 貴大
九州大学大学院システム情報科学府
-
坂本 憲昭
九州大学 日本IBM株式会社
-
深瀬 光聡
九州大学 新日鉄ソリューションズ株式会社
-
Yasuura Hiroto
The Graduate School Of Engineering Sciences Kyushu University
-
Yasuura Hiroto
Department Of Computer Science And Communication Engineering Graduate School Of Information Science
-
中西 恒夫
九州大学
-
Yasuura Hiroto
Kyushu Univ. Fukuoka‐shi Jpn
-
大森 洋一
九州大学
-
末吉 敏則
熊本大学大学院自然科学研究科情報電気電子工学専攻
-
片山 徹郎
宮崎大学工学部情報システム工学科
-
金子 邦彦
九州大学・大学院システム情報科学研究院
-
越智 優
九州大学大学院システム情報科学研究院
-
池田 大輔
九州大学大学院システム情報科学研究院
-
北須賀 輝明
熊本大学大学院自然科学研究科
-
菅沼 明
九州大学大学院システム情報科学研究科
-
中西 恒夫
九州大学大学院システム情報科学府
-
小材 健
九州大学大学院システム情報科学府
-
古殿 知之
九州大学
-
深瀬 光聡
九州大学
-
乃万 司
九州工業大学
-
森元 逞
福岡大学
-
佐原 伸
Cskシステムズ
-
山口 恭平
九州大学 大学院システム情報科学研究院
-
栗田 太郎
フェリカネットワークス(株)開発部2課
-
菅沼 明
九州大学工学部情報工学科
-
宮川 拓也
九州大学 大学院システム情報科学研究院
-
末吉 敏則
熊本大学
-
菅沼 明
九州大学
-
池田 大輔
九州大学システム情報
-
菅沼 明
有明高専
-
安浦 寛人
九州大学 大学院 システム情報科学研究科
-
Yasuura Hiroto
The Department Of Computer Science And Communication Engineering Graduate School Of Information Scie
-
ヒメネス・セラノ エリザー
九州大学大学院システム情報科学府
-
井ノ口 裕也
九州大学大学院システム情報科学研究院
-
池田 大輔
九州大学 大学院システム情報科学研究院
-
荒木 啓二郎
九州大学 大学院システム情報科学研究院
-
ヒメネス・セラノ エリザー
ナレッジネット(株)
-
古殿 知之
九州大学:富士通
-
Nakanishi Tsuneo
Graduate School/faculty Of Information Science And Electrical Engineering Kyushu University
-
乃万 司
九州工業大学情報工学部知能情報工学科
-
栗田 太郎
フェリカネットワークス株式会社
-
片山 徹郎
宮崎大学
-
金子 邦彦
九州大学
-
宮下 怜
九州大学大学院システム情報科学府
-
池田 大輔
九州大学システム情報科学研究院
-
栗田 太郎
フェリカネットワークス
-
北須賀 輝明
the Graduate School of Science and Technology, Kumamoto University
-
池田 大輔
九州大学 システム情報科学研究院
著作論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools(ソフトウェア紹介,先端ソフトウェアツール)
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- 状態遷移図の同期モデルへの詳細化および検証手法
- 多重同時最適制御に解放する方式の実装(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- 1. フォーマルメソッドの過去・現在・未来 : 適用の実践に向けて(Part I:歴史と概要,フォーマルメソッドの新潮流)
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- VDM記述からのPromela記述生成における変換手法の提案
- 規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告-OpenFlowコントローラ開発への形式手法導入-
- ツールによる形式モデルの成熟度測定法の提案
- 設計時の決定における依存関係の表記法