| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2013年度)
「from:2013-09-12 to:2013-09-12」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2013-09-12 10:05 |
東京 | 電気通信大学 | 類似パターンの省略によりソースコードの可読性を向上させる新技法 ○菊池 紘・西野哲朗・後藤隆彰・若月光夫（電通大）  KBSE2013-36 |
既存のソフトウェアを理解する際には, そのソースコードを読む事が不可欠だが, ソースコードリーディングは多くの時間を要す... [more] | KBSE2013-36 pp.1-6 |
| KBSE | 2013-09-12 10:35 |
東京 | 電気通信大学 | 識別子の共起頻度に基づく凝集度遷移過程の可視化と測定 ○岩山浩将・井上純一（北大） KBSE2013-37 |
ソフトウェアの保守性の評価基準の一つとして凝集度が挙げられる. 凝集度の測定にはいくつかの「凝集度メトリクス」が用いられ... [more] | KBSE2013-37 pp.7-12 |
| KBSE | 2013-09-12 11:10 |
東京 | 電気通信大学 | 学習者の不得意分野を矯正するための教材呈示ロジック ○上之薗和宏（青学大）・古宮誠一（NII） |
[more] | |
| KBSE | 2013-09-12 12:45 |
東京 | 電気通信大学 | UML/OCLアサーションのサーバサイドでの実装 ○田中聖一・小林 洋（東海大） KBSE2013-38 |
最近のソフトウェア開発においては，ソフトウェアの振る舞いの安全性の観点から表明(assertion)が重視されている．表... [more] | KBSE2013-38 pp.13-18 |
| KBSE | 2013-09-12 13:15 |
東京 | 電気通信大学 | 割り込み処理に着目した組込みソフトウェアへのモデル検査適用の検討 ○佐々木隆益（電通大）・吉岡信和（NII）・田原康之・大須賀昭彦（電通大） KBSE2013-39 |
組み込み製品において，不適切な割り込み処理による不具合をテストで検出するのは再現性がなく困難である．これに関しては，モデ... [more] | KBSE2013-39 pp.19-24 |
| KBSE | 2013-09-12 13:50 |
東京 | 電気通信大学 | オブジェクト指向ペトリネットに基づきイベント駆動性を取り入れた業務プロセスエンジンのアーキテクチャ ○金子良太・秦 良平・飯島 正（慶大） KBSE2013-40 |
[more] | KBSE2013-40 pp.25-30 |
| KBSE | 2013-09-12 14:35 |
東京 | 電気通信大学 | ゴール構文表を利用したディペンダビリティケースのゴール分析法について ○松村昌典・山本修一郎（名大） KBSE2013-41 |
[more] | KBSE2013-41 pp.31-35 |
| KBSE | 2013-09-12 15:10 |
東京 | 電気通信大学 | ゴール指向要求分析における意思決定と合意形成に関する研究 ～ 学際的アプローチ ～ ○岡野道太郎・中谷多哉子（筑波大） KBSE2013-42 |
ゴール指向要求分析では，ゴールからサブゴールへと分割していく際，複数のサブゴールすべてが選択されるAND分割と，複数に分... [more] | KBSE2013-42 pp.37-42 |
| KBSE | 2013-09-12 15:45 |
東京 | 電気通信大学 | 非機能要求グレードの大学ポータルサービスへの適用についての考察 ○増元美紀・山本修一郎（名大） KBSE2013-43 |
[more] | KBSE2013-43 pp.43-46 |
| KBSE | 2013-09-12 16:30 |
東京 | 電気通信大学 | Consistency check of D-case (dependability case) produced from DFD (data flow diagram) ○Nada Olayan・Shuichiro Yamamoto・vaise Patu・Yutaka Matsuno（Nagoya Univ.） KBSE2013-44 |
After producing the D-case based on DFD, a question about th... [more] | KBSE2013-44 pp.47-52 |
| KBSE | 2013-09-12 17:05 |
東京 | 電気通信大学 | シーケンス図に基づくディペンダビリティケース作成法の適用性検討 ○丁 峰・山本修一郎（名大） KBSE2013-45 |
[more] | KBSE2013-45 pp.53-58 |
| KBSE | 2013-09-12 17:40 |
東京 | 電気通信大学 | SEMATと保証ケースの関係についての考察 ○山本修一郎（名大） KBSE2013-46 |
[more] | KBSE2013-46 pp.59-64 |
| KBSE | 2013-09-13 10:30 |
東京 | 電気通信大学 | 利用者インタラクションの設計・評価のためのストレスレベルのセンサーによる取得と利用 ○石井愛弓・飯島 正（慶大） KBSE2013-47 |
[more] | KBSE2013-47 pp.65-70 |
| KBSE | 2013-09-13 11:05 |
東京 | 電気通信大学 | コミュニケーション支援のためのジェスチャの取得と記述 ○宇野澤広樹・飯島 正（慶大） KBSE2013-48 |
[more] | KBSE2013-48 pp.71-76 |
| KBSE | 2013-09-13 11:40 |
東京 | 電気通信大学 | マルチエージェントシミュレーションのための地理空間情報の知識再構成 ○山崎淳城・飯島 正（慶大） KBSE2013-49 |
[more] | KBSE2013-49 pp.77-82 |
| KBSE | 2013-09-13 13:15 |
東京 | 電気通信大学 | ［チュートリアル招待講演］要求工学の現状と展望 ～ ソフトウェア進化と自己適応にむけて ～ ○中川博之（電通大） KBSE2013-50 |
本講演では，7月にリオ・デ・ジャネイロで開催された第21回要求工学国際会議（RE2013）の内容に基づき，要求工学分野に... [more] | KBSE2013-50 p.83 |
| KBSE | 2013-09-13 14:25 |
東京 | 電気通信大学 | 運用手順に対するアシュアランスケース作成法の比較評価 ○高間翔太・山本修一郎（名大） KBSE2013-51 |
[more] | KBSE2013-51 pp.85-90 |
| KBSE | 2013-09-13 15:00 |
東京 | 電気通信大学 | A classification method in identifying security patterns for a dependable Security Case
-- From Security Patterns to D-Case -- ○Vaise Patu・Nada Olayan・Shuichiro Yamamoto（Nagoya Univ.） KBSE2013-52 |
Today's software systems are facing new and complicated chal... [more] | KBSE2013-52 pp.91-96 |
[研究会発表申込システムのトップページに戻る]