| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2012年度)
「from:2012-07-27 to:2012-07-27」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) |
2012-07-27 11:00 |
北海道 | 公立はこだて未来大学 | アスペクト指向ワークフロー変換 ～ オブジェクト指向ペトリネットによるワークフロー表現への適用 ～ ○飯島 正（慶大）  SS2012-10 KBSE2012-12 |
オブジェクト指向ペトリネットに基づくワークフロー管理システムに対して，アスペクト指向の考え方を導入した試みについて報告す... [more] | SS2012-10 KBSE2012-12 pp.1-6 |
| KBSE, SS (共催) |
2012-07-27 11:30 |
北海道 | 公立はこだて未来大学 | Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出 ○鷲崎弘宜・村上真一・深澤良彰（早大） SS2012-11 KBSE2012-13 |
Simulinkモデルは，ブロック線図としてプログラムを表現したモデルであり，制御系を中心として組込みソフトウェア開発に... [more] | SS2012-11 KBSE2012-13 pp.7-12 |
| KBSE, SS (共催) |
2012-07-27 13:00 |
北海道 | 公立はこだて未来大学 | 例外イベント列の正常シナリオへの組み込み支援手法 ○大西 淳（立命館大） SS2012-12 KBSE2012-14 |
シナリオを用いた要求獲得では開発対象システムの振舞いを明らかにするために，正常な振舞いだけでなく，例外時の振舞いもシナリ... [more] | SS2012-12 KBSE2012-14 pp.13-18 |
| KBSE, SS (共催) |
2012-07-27 13:30 |
北海道 | 公立はこだて未来大学 | UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法 ○野呂 惇（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） SS2012-13 KBSE2012-15 |
システム開発の上流工程でセキュリティ要求を定義することは，脆弱性の少ないシステムの開発のために有益である．しかし，開発者... [more] | SS2012-13 KBSE2012-15 pp.19-24 |
| KBSE, SS (共催) |
2012-07-27 14:00 |
北海道 | 公立はこだて未来大学 | 多数決手法によるError Prone予測手法の評価 ○高橋利英・大西達也・小形真平・海谷治彦・海尻賢二（信州大） SS2012-14 KBSE2012-16 |
[more] | SS2012-14 KBSE2012-16 pp.25-30 |
| KBSE, SS (共催) |
2012-07-27 14:40 |
北海道 | 公立はこだて未来大学 | エンドユーザ主導開発のためのビジネスロジックの定義方式の提案 ○中所武司（明大） SS2012-15 KBSE2012-17 |
変化の激しい時代には，業務の知識を有するエンドユーザ主導のアプリケーション開発とその保守が重要になると考え，その技法を研... [more] | SS2012-15 KBSE2012-17 pp.31-36 |
| KBSE, SS (共催) |
2012-07-27 15:10 |
北海道 | 公立はこだて未来大学 | スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案 ○高間翔太・松野 裕・山本修一郎（名大） SS2012-16 KBSE2012-18 |
近年、複雑化した情報システムをディペンダブルに運用し、確認することが困難になってきている。 そこで、本稿ではアシュアラ... [more] |
SS2012-16 KBSE2012-18 pp.37-42 |
| KBSE, SS (共催) |
2012-07-27 15:40 |
北海道 | 公立はこだて未来大学 | エンタープライズ系システム開発で生産性を最大化するためのTOC/CCPM適用方法について ～ 合流チェーン上の要員の稼働率向上により、全体の生産性向上を実現するマネジメントシステムの提案 ～ ○副島千鶴（NTTデータ） SS2012-17 KBSE2012-19 |
エンタープライズ系システム開発の工期短縮・生産性向上にCCPM(クリティカルチェーンプロジェクトマネジメント)が有効であ... [more] | SS2012-17 KBSE2012-19 pp.43-48 |
| 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 09:00 |
北海道 | 公立はこだて未来大学 | ロールプレイ演習における学習者の行動とスキルとの関係分析 ○立川結貴・丸山 広（東京工科大）・高嶋章雄（湘北短大）・中村太一（東京工科大） SS2012-21 KBSE2012-23 |
[more] | SS2012-21 KBSE2012-23 pp.67-72 |
| KBSE, SS (共催) |
2012-07-28 09:30 |
北海道 | 公立はこだて未来大学 | 細粒度プロジェクトモニタリングのためのDaaSを利用したソフトウェア開発PBL支援環境の提案 ○眞鍋雄貴・井垣 宏（阪大）・福安直樹（和歌山大）・佐伯幸郎（高知工科大）・楠本真二・井上克郎（阪大） SS2012-22 KBSE2012-24 |
[more] | SS2012-22 KBSE2012-24 pp.73-78 |
| KBSE, SS (共催) |
2012-07-28 10:00 |
北海道 | 公立はこだて未来大学 | Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援 ○黄 長贇・中城亮祐・山下一寛・亀井靖高・久住憲嗣・鵜林尚靖（九大） SS2012-23 KBSE2012-25 |
本論文では，リポジトリマイニング向けドメイン専用言語（DSL）の構築を自動化する方法を提案する．Alloyを用いることに... [more] | SS2012-23 KBSE2012-25 pp.79-84 |
| KBSE, SS (共催) |
2012-07-28 10:40 |
北海道 | 公立はこだて未来大学 | プログラム構造の簡略化によるメトリクス計測方法の改善 ○佐々木 唯・石原知也・堀田圭佑・畑 秀明・肥後芳樹・井垣 宏・楠本真二（阪大） SS2012-24 KBSE2012-26 |
ソフトウェア保守の分野において，サイクロマチック数は代表的な複雑度メトリクスとして良く用いられている．しかし，サイクロマ... [more] | SS2012-24 KBSE2012-26 pp.85-90 |
| KBSE, SS (共催) |
2012-07-28 11:10 |
北海道 | 公立はこだて未来大学 | ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案 ○風戸広史（NTT）・林 晋平（東工大）・岡田 敏・宮田俊介・星野 隆（NTT）・佐伯元司（東工大） SS2012-25 KBSE2012-27 |
プログラムを変更する前に，開発者はまずFeature Locationにより機能に対応するソースコード上の実装箇所を特定... [more] | SS2012-25 KBSE2012-27 pp.91-96 |
| KBSE, SS (共催) |
2012-07-28 11:40 |
北海道 | 公立はこだて未来大学 | 動的解析を用いたコード移動リファクタリングの支援 ○木村秀平・肥後芳樹・井垣 宏・楠本真二（阪大） SS2012-26 KBSE2012-28 |
あるモジュールの凝集度を高め結合度を下げるために，Move MethodリファクタリングやExtract Methodリ... [more] | SS2012-26 KBSE2012-28 pp.97-102 |
| KBSE, SS (共催) |
2012-07-28 13:10 |
北海道 | 公立はこだて未来大学 | On Extending Matching Operation in Grammar Programs for Program Inversion ○Minami Niwa・Naoki Nishida・Masahiko Sakai・Toshiki Sakabe・Keiichirou Kusakari（Nagoya Univ.） SS2012-27 KBSE2012-29 |
[more] | SS2012-27 KBSE2012-29 pp.103-108 |
| KBSE, SS (共催) |
2012-07-28 13:40 |
北海道 | 公立はこだて未来大学 | コメント記述量の増加傾向とフォールト潜在との関係に関する定量分析 ○浅野遼平・阿萬裕久（愛媛大） SS2012-28 KBSE2012-30 |
コメント文はプログラムの可読性を高める上で有用な要素である．しかしながら，分かりにくいコード断片の可読性の低さを調整する... [more] | SS2012-28 KBSE2012-30 pp.109-114 |
| KBSE, SS (共催) |
2012-07-28 14:20 |
北海道 | 公立はこだて未来大学 | 配列の次元を考慮した大域ロード命令集約 ○澄川靖信・滝本宗宏（東京理科大） SS2012-29 KBSE2012-31 |
現在のプロセッサは，プロセッサの演算速度に比べて低速なメモリと，メモリより高速なキャッシュメモリを備えていることが多い．... [more] | SS2012-29 KBSE2012-31 pp.115-119 |
[研究会発表申込システムのトップページに戻る]