| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2013年度)
「from:2013-05-30 to:2013-05-30」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2013-05-30 13:45 |
神奈川 | 慶應義塾大学 | メソッドとフィールドの関係を用いたアンチパターン特定手法 ○渡辺大貴・松浦佐江子（芝浦工大）  KBSE2013-1 |
ソフトウェア開発では仕様変更が繰り返されることにより，コードの複雑度が増大し，変更箇所の特定が困難になることが多い．その... [more] | KBSE2013-1 pp.1-6 |
| KBSE | 2013-05-30 14:15 |
神奈川 | 慶應義塾大学 | シーケンス図に基づくディペンダビリティケース作成法の研究 ○丁 峰・山本修一郎（名大） KBSE2013-2 |
[more] | KBSE2013-2 pp.7-12 |
| KBSE | 2013-05-30 15:00 |
神奈川 | 慶應義塾大学 | A Dependability Assurance Method Based on DFD (Data Flow Diagram) ○Nada Olayan・Shuichiro Yamamoto・Vaise Patu・Yutaka Matsuno（Nagoya Univ.） KBSE2013-3 |
The main Idea of this paper is to shed some light and discus... [more] | KBSE2013-3 pp.13-18 |
| KBSE | 2013-05-30 15:30 |
神奈川 | 慶應義塾大学 | 文献から利用者のスキーマに合わせた情報抽出方法 ○本橋正行・丸山 広・中村太一（東京工科大） KBSE2013-4 |
研究に携わる者が行う文献調査方法の一つに，Web上の文献の検索がある．一方，Web上の文献の数は年々増え続けていることか... [more] | KBSE2013-4 pp.19-24 |
| KBSE | 2013-05-30 16:15 |
神奈川 | 慶應義塾大学 | Traceability link recoveryのためのmethod miningの提案 ○上田健之・小形真平・海谷治彦・海尻賢二（信州大） KBSE2013-5 |
Traceability link recovery の種々の手法について、適切な手法を対象ドキュメントの特徴量に基づい... [more] | KBSE2013-5 pp.25-30 |
| KBSE | 2013-05-30 17:00 |
神奈川 | 慶應義塾大学 | 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル ○早川弘基・小形真平・海谷治彦・海尻賢二（信州大） KBSE2013-6 |
ユーザはミスや心変わりから頻繁にデータを再入力するため，ユーザビリティの向上はe-commerceサイト等におけるリピー... [more] | KBSE2013-6 pp.31-36 |
| KBSE | 2013-05-31 10:45 |
神奈川 | 慶應義塾大学 | ディペンダビリティケースからの用語抽出実験についての考察 ○松村昌典・山本修一郎（名大） KBSE2013-7 |
用語関係図を用いることでディペンダビリティケースノードの用語関係を明確にすることができる.しかし,ディペンダビリティケー... [more] | KBSE2013-7 pp.37-42 |
| KBSE | 2013-05-31 11:15 |
神奈川 | 慶應義塾大学 | A new approach to develop a dependable security case by combining real life security experiences (lessons learnt) with the dependability assurance case (D-Case) development process ○Vaise Patu・Shuichiro Yamamoto（Nagoya Univ.） KBSE2013-8 |
[more] | KBSE2013-8 pp.43-48 |
| KBSE | 2013-05-31 13:00 |
神奈川 | 慶應義塾大学 | D-Caseを利用したゴール分析プロセスの提案 ○宇都宮浩之（デンソークリエイト）・山本修一郎・松野 裕（名大）・中澤輝幸・山本佳和（デンソークリエイト） KBSE2013-9 |
システムを開発するには達成すべきゴールを明確化，詳細化してシステム要求を定義する必要がある．ゴールをシステム要求に変換す... [more] | KBSE2013-9 pp.49-54 |
| KBSE | 2013-05-31 13:45 |
神奈川 | 慶應義塾大学 | ソフトウェアプロセス教育における動機づけプロセスの定式化と教育改善への応用 ○梅田政信・片峯恵一（九工大）・石橋慶一（福岡工大短大部）・橋本正明・吉田隆一（九工大） KBSE2013-10 |
[more] | KBSE2013-10 pp.55-60 |
| KBSE | 2013-05-31 14:45 |
神奈川 | 慶應義塾大学 | ヒューマンエラーに対する手順書の耐性検査 ○永藤直行（プレシステム）・渡部卓雄（東工大） KBSE2013-11 |
作業手順がヒューマンエラーに対して耐性があるかどうか検査するためにモデル検証の手法を利用する．作業手順には，ヒューマンエ... [more] | KBSE2013-11 pp.61-66 |
| KBSE | 2013-05-31 15:30 |
神奈川 | 慶應義塾大学 | 議論分解パターンに基づくディペンダビリティケースの作成実験 ○山本修一郎（名大） KBSE2013-12 |
[more] | KBSE2013-12 pp.67-72 |
[研究会発表申込システムのトップページに戻る]