| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2012-11-22 10:50 |
石川 | 金沢大学 (角間キャンパス) | アシュアランスケース構築法の提案 ○松野 裕（名大）・高井利憲（奈良先端大）・ヴァイセ パテゥー・山本修一郎（名大）  KBSE2012-40 |
アシュアランスケースがシステムのディペンダビリティを保証する手法として注目を集めている。 しかし一般の技術者にわかりや... [more] |
KBSE2012-40 pp.13-17 |
| KBSE | 2012-11-22 12:00 |
石川 | 金沢大学 (角間キャンパス) | ディペンダビリティ・コンテクストの推定手法の提案 ○高間翔太・松野 裕・山本修一郎（名大） KBSE2012-42 |
近年、システムのディペンダビリティを保証するための研究が進められており、様々なシステムを対象にしたアシュアランスケースの... [more] | KBSE2012-42 pp.25-30 |
| KBSE | 2012-11-23 12:30 |
石川 | 金沢大学 (角間キャンパス) | ディペンダビリティケースへの責任属性の導入法の検討 ○山本修一郎・松野 裕（名大） KBSE2012-52 |
ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．しかし，これまでのディペンダビリ... [more] | KBSE2012-52 pp.85-90 |
| 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 |
| DC | 2012-10-29 16:00 |
東京 | 機械振興会館 | ［招待講演］Dependability Caseの紹介 ○松野 裕（名大） |
近年欧米を中心に、システムのディペンダビリティや安全性を保証するための手法としてディペンダビリティケース（アシュアランス... [more] | |
| 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:20 |
北海道 | 公立はこだて未来大学 | アシュアランスケースへの構造化文書の適用に関する調査 ○松野 裕・ヴァイセ パトゥ・山本修一郎（名大） SS2012-18 KBSE2012-20 |
安全性などの分野において、近年アシュアランスケースと呼ばれる手法が普及している 。アシュアランスケースはシステムの安全... [more] |
SS2012-18 KBSE2012-20 pp.49-54 |
| 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-27 17:20 |
北海道 | 公立はこだて未来大学 | ディペンダビリティケース作成法に関する一考察 ○山本修一郎・松野 裕（名大） SS2012-20 KBSE2012-22 |
[more] | SS2012-20 KBSE2012-22 pp.61-66 |
| KBSE, SS (共催) |
2012-07-28 14:50 |
北海道 | 公立はこだて未来大学 | エンタープライズ・アーキテクチャに対するディペンダビリティケース作成法の提案 ○徳野達也・松野 裕・山本修一郎（名大） SS2012-34 KBSE2012-36 |
複雑化した情報システムのディペンダビリティを保証することは難しく，またそのディペンダビリティを保証する方法について明確に... [more] | SS2012-34 KBSE2012-36 pp.145-150 |
| KBSE, SS (共催) |
2012-07-28 15:20 |
北海道 | 公立はこだて未来大学 | ModularGSNの定式化 ○猿渡卓也（名大/NTT）・松野 裕（名大）・星野 隆（NTT）・山本修一郎（名大） SS2012-35 KBSE2012-37 |
[more] | SS2012-35 KBSE2012-37 pp.151-156 |
| KBSE | 2011-09-21 13:45 |
海外 | オーシャングランドホテル済州 | d*フレームワークの提案: 複数のアクタ間のディペンダビリティ・ケース ○松野 裕（東大）・高井利憲（産総研）・山本修一郎（名大） |
[more] | |
[研究会発表申込システムのトップページに戻る]