| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2013-03-14 15:30 |
東京 | 芝浦工業大学 | モデル検査を使ったデッドロック可能性検出 ○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT）  KBSE2012-76 |
形式手法の適用によるITシステムの信頼性向上が期待されている．しかし，形式手法の適用にはモデル作成等の専門的な知識が必要... [more] | KBSE2012-76 pp.43-48 |
| KBSE | 2006-03-14 13:00 |
東京 | 機械振興会館 | モデル指向開発環境の提案 ○我妻智之・神谷慎吾（NTTデータ）・大平直宏・松下 誠・楠本真二・井上克郎（阪大） |
[more] | KBSE2005-47 pp.1-6 |
| KBSE | 2005-09-12 14:20 |
東京 | 機械振興会館 | メタモデルに基づくトレーサビリティ技術の提案 ○我妻智之・神谷慎吾（NTTデータ）・大平直宏・松下 誠・楠本真二・井上克郎（阪大） |
[more] | KBSE2005-20 pp.25-30 |
| KBSE | 2005-07-26 12:10 |
愛媛 | 愛媛大学総合情報メディアセンター会議室 | オントロジーを用いた分析クラス図作成支援 ○神谷慎吾（慶大/NTTデータ）・石橋昌彦・森田武史（慶大）・福田直樹（静岡大）・飯島 正・山口高平（慶大） |
[more] | KBSE2005-15 pp.25-30 |
| KBSE | 2005-03-14 10:50 |
東京 | 機械振興会館 | MOFリポジトリを利用した構成管理手法の提案 ○山下裕介・我妻智之・岡 秀樹・神谷慎吾（NTTデータ） |
[more] | KBSE2004-47 pp.13-18 |
[研究会発表申込システムのトップページに戻る]