| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2009年度)
「from:2009-08-06 to:2009-08-06」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2009-08-06 10:30 |
北海道 | 北見工業大学 | 再帰をもつプログラムの構造分析法 ○大段雅典（島根大）・佐藤匡正  SS2009-12 |
プログラミングを学ぶ者にとって難解と感ずる項目の一つに再帰がある．再帰によれば，簡潔でスマートなプログラムが実現できる反... [more] | SS2009-12 pp.1-6 |
| SS | 2009-08-06 11:00 |
北海道 | 北見工業大学 | リバースエンジニアリングツールキットRemicsの試作 ○神谷年洋（産総研） SS2009-13 |
リバースエンジニアリングツールのためのツールキット Remicsの現状について説明する．このツールキットは，開発者が自ら... [more] | SS2009-13 pp.7-11 |
| SS | 2009-08-06 11:30 |
北海道 | 北見工業大学 | 開発ツールを他言語へ適用するためのAST変換の定式化 ○長谷川 勇（野村総研）・権藤克彦（東工大） SS2009-14 |
近年の開発開発ツールの需要増加により，構文解析器が開発される機会も増えてきている．しかし同じ言語を対象とする構文解析器で... [more] | SS2009-14 pp.13-18 |
| SS | 2009-08-06 13:00 |
北海道 | 北見工業大学 | アーキテクチャ設計と実装をつなぐインタフェース機構Archface ○野村 潤・鵜林尚靖（九工大） SS2009-15 |
[more] | SS2009-15 pp.19-24 |
| SS | 2009-08-06 13:30 |
北海道 | 北見工業大学 | 動的スライシングを用いた漸進的Feature Location手法 ○関根克幸・善明晃由・林 晋平・佐伯元司（東工大） SS2009-16 |
ソフトウェアの保守プロセスでは，保守対象の機能の実装上の振る舞いを理解する必要があるため，対象機能の実装箇所特定（Fea... [more] | SS2009-16 pp.25-30 |
| SS | 2009-08-06 14:00 |
北海道 | 北見工業大学 | 使用クラスに基づくソフトウェアの機能面からの分類 ○牛窓朋義・門田暁人（奈良先端大）・玉田春昭（京都産大）・松本健一（奈良先端大） SS2009-17 |
ソフトウェア開発において，与えられた機能要件を実装するために，既存のクラスライブラリの中から機能の実現に役立つクラスを選... [more] | SS2009-17 pp.31-36 |
| SS | 2009-08-06 14:45 |
北海道 | 北見工業大学 | 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較 ○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大） SS2009-18 |
[more] | SS2009-18 pp.37-42 |
| SS | 2009-08-06 15:15 |
北海道 | 北見工業大学 | Rodin Plugin to Link Event-B with SPIN ○Thomas Muller・Shin Nakajima（NII） SS2009-19 |
[more] | SS2009-19 pp.43-48 |
| SS | 2009-08-06 15:45 |
北海道 | 北見工業大学 | 自己反映計算の振舞的側面の形式化について ○渡部卓雄（東工大） SS2009-20 |
自己反映計算は高度に柔軟で適応的なシステムを構築するための重要な考え方である．本稿で報告する自己反映計算の振舞的側面の形... [more] | SS2009-20 pp.49-52 |
| SS | 2009-08-06 16:30 |
北海道 | 北見工業大学 | システム保守を考慮した構成管理システムの検討 ○坂田祐司・岩崎慎司・山本修一郎（NTTデータ） SS2009-21 |
システムの構成管理は，システム保守のフェーズにおいても重要である。しかし、システム保守のフェーズでは、その管理にかかるコ... [more] | SS2009-21 pp.53-58 |
| SS | 2009-08-06 17:00 |
北海道 | 北見工業大学 | アクタの相互作用に基づく要求抽出の完全性確認手法 ○服部 昇（NTTデータ/和歌山大）・山本修一郎（NTTデータ）・鯵坂恒夫（和歌山大）・木谷 強（NTTデータ） SS2009-22 |
本稿では，情報システムにおけるアクタ間の相互作用に基づく要求抽出の完全性の確認手法の提案を行う．これは，アクタ間の関係に... [more] | SS2009-22 pp.59-64 |
| SS | 2009-08-07 09:00 |
北海道 | 北見工業大学 | 情報流仕様に基づくアクセス制御文の自動生成 ○森田剛正・高田喜朗（高知工科大）・関 浩之（奈良先端大） SS2009-23 |
プログラム中，重要な資源にアクセスする箇所の直前にアクセス制御文を置くことで，信頼されていないモジュールがその資源にアク... [more] | SS2009-23 pp.65-70 |
| SS | 2009-08-07 09:30 |
北海道 | 北見工業大学 | テストケース生成における同値分割法の数式処理システムによる自動化 ○服部 哲（東工大） SS2009-24 |
ソフトウェアのテストケース生成を数式処理システム Mathematica によって試みる．本論文では，ソフトウェアの M... [more] | SS2009-24 pp.71-76 |
| SS | 2009-08-07 10:00 |
北海道 | 北見工業大学 | ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン ○中西恒夫・久住憲嗣・福田 晃（九大） SS2009-25 |
[more] | SS2009-25 pp.77-82 |
| SS | 2009-08-07 10:45 |
北海道 | 北見工業大学 | 類似性に基づく工数予測における適切でない予測プロジェクトの判別の試み ○中村哲彬・柿元 健・楠本真二（阪大） SS2009-26 |
[more] | SS2009-26 pp.83-87 |
| SS | 2009-08-07 11:15 |
北海道 | 北見工業大学 | バグ管理システムのログを利用した保守プロセス評価メトリクス ○伏田享平・川口真司・飯田 元（奈良先端大） SS2009-27 |
[more] | SS2009-27 pp.89-94 |
| SS | 2009-08-07 11:45 |
北海道 | 北見工業大学 | On the Job Learning: 産学連携による新しいソフトウェア工学教育手法 ○小林隆志（名大）・沢田篤史（南山大）・山本晋一郎（愛知県立大）・野呂昌満（南山大）・阿草清滋（名大） SS2009-28 |
本稿では，産学が密に連携し，企業における実際のソフトウェア 開発を題材とし実践的な教育を行う新しい教育手法 On th... [more] |
SS2009-28 pp.95-100 |
[研究会発表申込システムのトップページに戻る]