| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2012-11-23 14:30 |
石川 | 金沢大学 (角間キャンパス) | TOGAF NEXTに対するADMプロセステンプレートの提案 ○徳野達也・松野 裕・山本修一郎（名大）  KBSE2012-55 |
TOGAFでは，ディペンダビリティ概念を包含するTOGAFの次期版TOGAF NEXTを開発中である． 本稿では，前回... [more] |
KBSE2012-55 pp.103-108 |
| KBSE | 2012-11-23 15:40 |
石川 | 金沢大学 (角間キャンパス) | ディペンダビリティ用語辞書構築方法の提案 ○松村昌典・松野 裕・山本修一郎（名大） KBSE2012-57 |
ディペンダビリティケースを作成するための図式表記法が提案されている.しかし,ディペンダビリティ ケースの図式要素の名標な... [more] | KBSE2012-57 pp.115-120 |
| KBSE, SS (共催) |
2012-07-27 15:10 |
北海道 | 公立はこだて未来大学 | スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案 ○高間翔太・松野 裕・山本修一郎（名大） SS2012-16 KBSE2012-18 |
近年、複雑化した情報システムをディペンダブルに運用し、確認することが困難になってきている。 そこで、本稿ではアシュアラ... [more] |
SS2012-16 KBSE2012-18 pp.37-42 |
| KBSE, SS (共催) |
2012-07-27 16:50 |
北海道 | 公立はこだて未来大学 | A proposed research framework for "Dependability Science" based on assurance cases ○Vaise Patu・Yutaka Matsuno・Shuichiro Yamamoto（Nagoya Univ.） SS2012-19 KBSE2012-21 |
[more] | SS2012-19 KBSE2012-21 pp.55-59 |
| KBSE, SS (共催) |
2012-07-28 14:50 |
北海道 | 公立はこだて未来大学 | エンタープライズ・アーキテクチャに対するディペンダビリティケース作成法の提案 ○徳野達也・松野 裕・山本修一郎（名大） SS2012-34 KBSE2012-36 |
複雑化した情報システムのディペンダビリティを保証することは難しく，またそのディペンダビリティを保証する方法について明確に... [more] | SS2012-34 KBSE2012-36 pp.145-150 |
| KBSE | 2012-03-15 13:35 |
愛知 | 名古屋大学 | Assurance Case作成手法（d*）の適用評価 ○猿渡卓也（名大/NTTデータ）・山本修一郎（名大） KBSE2011-69 |
現在，開発されている情報システムの多くは，様々なシステム（要素）が相互に依存しあうオープンシステムである．しかし，代表的... [more] | KBSE2011-69 pp.1-6 |
| CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB (併催) (連催) [詳細] |
2012-03-03 13:30 |
宮城 | ホテル松島大観荘 | システムの高信頼化に向けたSupervisor Processorの一検討 ○藤野 誠・一ノ宮佳裕・田中宏樹・吉浦紗也加・久我守弘・尼崎太樹・飯田全広・末吉敏則（熊本大） CPSY2011-92 DC2011-96 |
情報処理量の増加に伴い，車載機器など高信頼性を要求されるシステムにおいてもマルチコアプロセッサ の需要が高まっている．... [more] |
CPSY2011-92 DC2011-96 pp.199-204 |
| KBSE | 2012-01-24 10:00 |
東京 | 機械振興会館 | 要求表に基づくディペンダビリティ情報作成方法 ○猿渡卓也（名大/NTTデータ）・山本修一郎（名大） KBSE2011-61 |
要求を?識別子，?要求名，?説明，?理由などの表形式の表現（要求表）を用いて文書化する方法が，システム開発では広く用いら... [more] | KBSE2011-61 pp.49-54 |
[研究会発表申込システムのトップページに戻る]