| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2009年度)
「from:2009-12-17 to:2009-12-17」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2009-12-17 13:40 |
香川 | 香川大学幸町キャンパス | 開放型分散アスペクト指向フレームワークの高度道路交通システムへの適用 ○成瀬龍人・野村 潤・外村慶二・鵜林尚靖（九工大）・司代尊裕・岩井明史（デンソー）  SS2009-35 |
高度道路交通システム（ITS）は，車の安全走行や効率的な輸送サービスを提供する開放型分散システムである．これらのサービス... [more] | SS2009-35 pp.1-6 |
| SS | 2009-12-17 14:10 |
香川 | 香川大学幸町キャンパス | ドメイン特化型言語のための開発支援手法 ○佐々木 晃・市川 寛（法政大） SS2009-36 |
[more] | SS2009-36 pp.7-12 |
| SS | 2009-12-17 14:40 |
香川 | 香川大学幸町キャンパス | 携帯端末用Webページから通常端末用ページを構成する手法 ～ Webページのモデル化とその評価 ～ ○勝俣浩樹（早大）・小野康一（日本IBM）・深澤良彰（早大） SS2009-37 |
[more] | SS2009-37 pp.13-18 |
| SS | 2009-12-17 15:20 |
香川 | 香川大学幸町キャンパス | 条件式の解析によるSQLインジェクション脆弱性検査法の改良 ○大橋知典・Heng Li・西田誠幸（拓殖大） SS2009-38 |
文字列解析とこれを用いたSQLインジェクション脆弱性検査法が提案されている．この方法はSQL実行文の引数であるSQLクエ... [more] | SS2009-38 pp.19-24 |
| SS | 2009-12-17 15:50 |
香川 | 香川大学幸町キャンパス | 高階書換え系における引数切り落とし法と実効規則 ○鈴木 翔・草刈圭一朗・坂部俊樹・酒井正彦・西田直樹（名大） SS2009-39 |
項書換え系（TRS）の拡張として高階関数を直接扱える単純型付き項書換え系（STRS）や さらに$\lambda$抽象も... [more] |
SS2009-39 pp.25-30 |
| SS | 2009-12-17 16:20 |
香川 | 香川大学幸町キャンパス | 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について ○御宿義勝・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2009-40 |
依存対が右線形右シャローである項書換え系のクラスでは，停止性および最内停止性が決定可能であることが示されている(内山ら2... [more] | SS2009-40 pp.31-36 |
| SS | 2009-12-18 08:40 |
香川 | 香川大学幸町キャンパス | 条件付き等式の変換に基づくプログラム生成 ○長島正憲・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大） SS2009-41 |
以前に我々が提案したプログラム生成系GeneSysは，一階述語論理式で表現された仕様から実行可能なプログラムを生成するが... [more] | SS2009-41 pp.37-42 |
| SS | 2009-12-18 09:10 |
香川 | 香川大学幸町キャンパス | 表現の変換という視点からの計算機上の処理のモデル化 ○古宇田フミ子・近山 隆（東大） SS2009-42 |
処理目的の記述で処理依頼が可能となる処理モデルの構成を目的とする。計算機上には表現だけが存在し、表現は解釈により理解され... [more] | SS2009-42 pp.43-48 |
| SS | 2009-12-18 09:40 |
香川 | 香川大学幸町キャンパス | 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル ○水野洋樹・結縁祥治（名大） SS2009-43 |
あらまし 本論文では,マルチコア環境で実行される実時間応用プロク... [more] | SS2009-43 pp.49-54 |
| SS | 2009-12-18 10:20 |
香川 | 香川大学幸町キャンパス | ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案 ○譜久島 亮・吉田則裕・松下 誠・井上克郎（阪大） SS2009-44 |
[more] | SS2009-44 pp.55-60 |
| SS | 2009-12-18 10:50 |
香川 | 香川大学幸町キャンパス | リファクタリングのための変更波及解析を利用したテスト支援ツールの提案 ○吉田昌友・吉田則裕・松下 誠・井上克郎（阪大） SS2009-45 |
リファクタリングとは，外部的振る舞いを保ちつつ，ソースコードの保守性を改善する作業を指す．リファクタリングを行う開発者は... [more] | SS2009-45 pp.61-66 |
| SS | 2009-12-18 11:30 |
香川 | 香川大学幸町キャンパス | ソフトウェアタグを用いた設計文書メトリクスからの低品質モジュールの予測 ○片山真一・大蔵君治・伏田享平・川口真司（奈良先端大）・名倉正剛（奈良先端大/現日立）・門田暁人・飯田 元（奈良先端大） SS2009-46 |
高品質なソフトウェアを作成するためには，早期段階で多くの不具合を含む可能性のある低品質モジュールを特定することが重要とな... [more] | SS2009-46 pp.67-72 |
| SS | 2009-12-18 12:00 |
香川 | 香川大学幸町キャンパス | オープンソース開発におけるコード変更量の推移予測に関する考察 ～ 成長曲線モデルの適用 ～ ○阿萬裕久（愛媛大） SS2009-47 |
オープンソース開発において，ソースコードはそのソフトウェアの開発状況を 反映した基本的な成果物である． ソースコード... [more] |
SS2009-47 pp.73-78 |
[研究会発表申込システムのトップページに戻る]