| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2008年度)
「from:2008-12-18 to:2008-12-18」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2008-12-18 14:00 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | バグ管理システムを対象としたアジャイルソフトウェア開発における保守プロセスの観察 伏田享平・○大前勇輝・名倉正剛・川口真司・大蔵君治・飯田 元（奈良先端大）  SS2008-39 |
アジャイルソフトウェア開発では開発ドキュメント類が整備されないため，開発過程の事後分析が困難であることが多い．本研究では... [more] | SS2008-39 pp.1-6 |
| SS | 2008-12-18 14:30 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | コードクローンの長さに基づくプログラム盗用確率の実験的算出 ○岡原 聖（奈良先端大）・真鍋雄貴（阪大）・山内寛己・門田暁人・松本健一（奈良先端大）・井上克郎（阪大） SS2008-40 |
[more] | SS2008-40 pp.7-11 |
| SS | 2008-12-18 15:15 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | モデルチェッカを用いた要求仕様の法令準拠性の検査 ○佐伯元司（東工大）・海谷治彦（信州大）・服部 哲（東工大） SS2008-41 |
ビジネスプロセスや情報システムの動作を有限状態遷移機械で，法令を時間論理 式で表現し，モデルチェッカSMVを用いて時間... [more] |
SS2008-41 pp.13-18 |
| SS | 2008-12-18 15:45 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | バージョン管理システムの利用コストと、その軽減手法 ○坂井 仁・権藤克彦（東工大） SS2008-42 |
既存のバージョン管理システムの多くは利用コストが大きい． ファイルやディレクトリの追加・削除・移動(名前変更)時には，... [more] |
SS2008-42 pp.19-24 |
| SS | 2008-12-19 09:30 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | 利用者インタフェースレベルでの理解が可能な処理モデルの構築法 ○古宇田フミ子・近山 隆（東大） SS2008-43 |
計算機上に提供されるユーザインタフェースの多くは、その対象に依存し個別の処理方法に即した説明が与えられることが多いので、... [more] | SS2008-43 pp.25-30 |
| SS | 2008-12-19 10:00 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | 基本対称関数を付加したCNF論理式の充足可能性判定 ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） SS2008-44 |
近年，高速な充足可能性判定ツール（SATソルバ）の開発が進んでいる． これらのツールでは，変数値を次々に推論するBCP... [more] |
SS2008-44 pp.31-36 |
| SS | 2008-12-19 10:30 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | シャローな依存対から構成される項書換え系の停止性の決定可能性 ○内山敬太・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2008-45 |
本稿では，右定項または右線形シャローな依存対のみを持つ項書換え系に対して，停止性，最内停止性，文脈依存停止性がそれぞれ決... [more] | SS2008-45 pp.37-42 |
| SS | 2008-12-19 11:15 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | 木オートマトンを用いたXML処理 ○高田喜朗（高知工科大）・関 浩之（奈良先端大） SS2008-46 |
木オートマトンは，文字列に対する有限オートマトンを木に対して拡張した計算モデルであり，与えられた木に対して「受理」か「拒... [more] | SS2008-46 pp.43-50 |
| SS | 2008-12-19 11:45 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | センサ情報のオープン化に向けたデータ記述・問い合わせ手法 ○高橋洋士・満田成紀・鯵坂恒夫（和歌山大） SS2008-47 |
実世界の観測を目的として、情報を自動的に、かつ、精密に取得するためのセンサ機器設置が増加している。これらは適用分野や有用... [more] | SS2008-47 pp.51-56 |
[研究会発表申込システムのトップページに戻る]