| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2009年度)
「from:2010-03-08 to:2010-03-08」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2010-03-08 09:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | インタビューによる要求抽出作業を誘導するシステム ～ 機能要求を聞き出す質問の誘導方法の提案 ～ ○埜口 元・谷藤史門（芝浦工大）・山中隆敏（芝浦工大/富士通）・古宮誠一（芝浦工大）  SS2009-48 |
ソフトウェア開発では要求仕様書を基にシステム開発を行う．もし，要求仕様書に漏れや誤りがあれば，その後の成果物にも漏れや誤... [more] | SS2009-48 pp.1-6 |
| SS | 2010-03-08 09:30 |
鹿児島 | 鹿児島大学 郡元キャンパス | 要求追跡ネットワークを用いたプロセス改善支援およびプロジェクトスケジューリング法 ○齋藤彰儀・落水浩一郎（北陸先端大） SS2009-49 |
本稿では，スケジューリングや進捗管理支援機能を実現する理論モデルである，要求追跡ネットワークを提案する．提案手法は，現状... [more] | SS2009-49 pp.7-12 |
| SS | 2010-03-08 10:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | 開発プロセスの観察とグループ間比較による実践的ソフトウェア開発演習の支援環境 ○柿元 健（阪大）・井垣 宏（神戸大）・川口真司（奈良先端大）・福安直樹（和歌山大）・佐伯幸郎（高知工科大）・早瀬康裕（阪大）・崎山直洋（NTTデータ） SS2009-50 |
本稿では，ソフトウェア技術者育成のためのPBL形式のソフトウェア開発において，プロジェクトのプロダクトとプロセスをリアル... [more] | SS2009-50 pp.13-18 |
| SS | 2010-03-08 10:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | ユビキタスネットワークにおけるサービス資源検索のためのサービスレジストリの考察 ○瀬戸英晴・江上公一・松尾周平・井垣 宏・中村匡秀（神戸大） SS2009-51 |
将来的なユビキタスネットワークにおいては，ネットワークに偏在する 多種多様なサービス資源をユーザ要求やコンテキストに合... [more] |
SS2009-51 pp.19-24 |
| SS | 2010-03-08 11:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | サービス競合検出・解消システムを用いたホームネットワーク連携サービスの開発 ○稲田卓也・吉村悠平・池上弘祐・井垣 宏・中村匡秀（神戸大）・中北賢二・竹原清隆（パナソニック電工） SS2009-52 |
ホームネットワークシステム(HNS) のアプリケーションの一つとして，複数の家電を連携制御する家電連携サービスの研究が進... [more] | SS2009-52 pp.25-30 |
| SS | 2010-03-08 11:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | 振る舞いモデルを用いたフレームワーク利用支援ツール ○善明晃由・林 晋平・佐伯元司（東工大） SS2009-53 |
本稿では，振る舞いモデルからスケルトンコードや設定ファイルを生成することで，フレームワークの利用を支援するツールを提案す... [more] | SS2009-53 pp.31-36 |
| SS | 2010-03-08 13:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール ○松下 誠・早瀬康裕・松下 誠・井上克郎（阪大） SS2009-54 |
ソフトウェア開発において，適切な再利用を行うことによりソフトウェアの生産性や信頼性が向上するとされている． そして，再... [more] |
SS2009-54 pp.37-42 |
| SS | 2010-03-08 13:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | 重複コードと非重複コードにおける修正頻度の比較 ○佐野由希子・肥後芳樹・楠本真二（阪大） SS2009-55 |
一般に，重複コードは非重複コードに比べて修正の行われる頻度が高いといわれている．しかし，それが事実かどうかを定量的に調査... [more] | SS2009-55 pp.43-48 |
| SS | 2010-03-08 14:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | 大規模ソースコード集合を対象とした類似関数集合群の抽出 ○田中健介・肥後芳樹・楠本真二（阪大） SS2009-56 |
近年ソフトウェア開発は大規模化の一途をたどっており，開発コスト削減のため，既存の資源を有効に活用することが望まれる．しか... [more] | SS2009-56 pp.49-54 |
| SS | 2010-03-08 14:50 |
鹿児島 | 鹿児島大学 郡元キャンパス | メソッド呼び出しに関する不具合修正での変更作業の分析 ○森井亮介・畑 秀明（阪大）・水野 修（京都工繊大）・菊野 亨（阪大） SS2009-57 |
ソフトウェア開発において，プログラムの再利用のために，API（Application Program Interface... [more] | SS2009-57 pp.55-60 |
| SS | 2010-03-08 15:20 |
鹿児島 | 鹿児島大学 郡元キャンパス | 編集操作の分類に基づくソースコード差分の構造化 ○林 晋平・佐伯元司（東工大） SS2009-58 |
本稿ではソースコードの編集操作を変更意図ごとに分類することにより，修正を表す差分を意図ごとに構造化する手法を提案する．提... [more] | SS2009-58 pp.61-66 |
| SS | 2010-03-08 15:50 |
鹿児島 | 鹿児島大学 郡元キャンパス | コードクローンに対する変更の一貫性と欠陥発生との関連性に関する分析 ○西田皓司・伏田享平・川口真司・飯田 元（奈良先端大） SS2009-59 |
ソースコード中に存在する重複コード列をコードクローン(以下，クローン) という．本稿では，互いにクローンの関係にあるコー... [more] | SS2009-59 pp.67-72 |
| SS | 2010-03-08 16:30 |
鹿児島 | 鹿児島大学 郡元キャンパス | コードクローンを用いたソフトウェア間の類似度の分析 ○坂本 啓・岸本康成・佐藤宏之・小林 透（NTT） SS2009-60 |
我々は企業内で開発された複数のソフトウェア資産を総合的・有機的に結びつけたソフトウェア開発リポジトリの構成を目的に研究を... [more] | SS2009-60 pp.73-78 |
| SS | 2010-03-08 17:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | テキストマイニング技術を用いたソフトウェアの類似性分析 ○岸本康成・坂本 啓・佐藤宏之・小林 透（NTT） SS2009-61 |
企業において既存システムのクラウド環境への移行を効率的に行うには，既存システムのソフトウェア資産の共通性などを分析し，再... [more] | SS2009-61 pp.79-84 |
| SS | 2010-03-08 09:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析 ○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大） SS2009-62 |
本稿では，確率時間オートマトンのCEGARを用いた到達可能性解析を行う手法を提案する．確率時間システムでは，反例となるパ... [more] | SS2009-62 pp.85-90 |
| SS | 2010-03-08 09:30 |
鹿児島 | 鹿児島大学 郡元キャンパス | Symmetry Reductionを使ったAISの確率付きモデル検査 ○豊島崇士・高橋和子（関西学院大）・関澤俊弦（阪学院大/産総研） SS2009-63 |
船舶自動識別システム(AIS)の予約システムについて，確率付きモデル検査器 PRISM を使った解析と検証を行う． こ... [more] |
SS2009-63 pp.91-96 |
| SS | 2010-03-08 10:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | E-AoSAS++における振舞い検証の枠組み ○張 漢明・沢田篤史・野呂昌満（南山大） SS2009-64 |
アスペクト指向に基づくソフトウェアアーキテクチャの設計では，複数の関心事をモジュールとして分離することができる反面，全体... [more] | SS2009-64 pp.97-102 |
| SS | 2010-03-08 10:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | 型付けによるファイル間データ非干渉の検証 ○座礼晃一・山田俊行（三重大） SS2009-65 |
個人情報がコンピュータに管理されることが多くなり，その管理・操作を行うプログラムには，個人情報漏れを起こさないことが強く... [more] | SS2009-65 pp.103-107 |
| SS | 2010-03-08 11:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | 多目的最適化問題における免疫アルゴリズムの研究 ○森重綾太・小野智司・中山 茂（鹿児島大） SS2009-66 |
現実世界の様々な問題として複数の目的関数を持つ多目的最適化問題があり，近年，広く研究されている．本論文では，多目的最適化... [more] | SS2009-66 pp.109-114 |
| SS | 2010-03-08 11:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | 共通記号を持つ背景理論の決定手続きの結合法とその効率化について ○岩沼宏治（山梨大） SS2009-67 |
Nelson-Oppen 法は複数の背景理論の決定手続きを結合する代表的な手法であり，近年盛んに研究されているSMT(S... [more] | SS2009-67 pp.115-120 |
[研究会発表申込システムのトップページに戻る]