| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2007年度)
「from:2007-12-17 to:2007-12-17」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2007-12-17 09:00 |
島根 | 島根大学 | 法律や規則に適合した要求の獲得支援 佐伯元司（東工大）・○海谷治彦（信州大）  SS2007-38 |
ビジネスプロセスの適正な実施や，情報システムの不正使用防止のために，法や規則の整備が進んでいる．個人情報保護法はその典型... [more] | SS2007-38 pp.1-6 |
| SS | 2007-12-17 09:30 |
島根 | 島根大学 | アクタ関係行列を用いたiスターフレームワーク作成方法の実験評価 ○井部己文・佐藤友合子・山本修一郎（NTTデータ） SS2007-39 |
i*フレームワークでは，SD（Strategic Dependency）図とSR（Strategic Rational）... [more] | SS2007-39 pp.7-12 |
| SS | 2007-12-17 10:00 |
島根 | 島根大学 | 要望リストからの要望モデル構築 ○宮西英彰・山田宏之・甲斐 博・阿萬裕久（愛媛大） SS2007-40 |
ソフトウェア開発工程において，最上流工程に位置する要求獲得は，以降の工程の基礎となる重要な工程である．要求獲得工程が重要... [more] | SS2007-40 pp.13-18 |
| SS | 2007-12-17 10:45 |
島根 | 島根大学 | 組合せ子の非循環性について ○岩見宗弘（島根大） SS2007-41 |
Sumllyanは，書換え規則 L x y -> x (y y)を持つ組合せ子 $L$と書換え規則 O x y -> ... [more] |
SS2007-41 pp.19-24 |
| SS | 2007-12-17 11:15 |
島根 | 島根大学 | OTS/CafeOBJ法における証明譜からのテスト生成 ○中村正樹（北陸先端大）・清野貴博（産総研） SS2007-42 |
OTS/CafeOBJ法では，形式仕様言語CafeOBJで仕様を作成し， 証明譜と呼ばれる検証スクリプトにより仕様の形... [more] |
SS2007-42 pp.25-30 |
| SS | 2007-12-17 13:00 |
島根 | 島根大学 | メタ計算に基づくプログラム生成実験システム ○西田好孝・赤間 清（北大）・小池英勝（札幌学院大） SS2007-43 |
本研究では，与えられた仕様からそれを満足させる高性能なプログラムを自動的 に生成させる事を考える．ここで，入力となる仕... [more] |
SS2007-43 pp.31-36 |
| SS | 2007-12-17 13:30 |
島根 | 島根大学 | 決定的抽象プログラムから低水準命令型プログラムを合成する枠組み ○若槻俊宏・赤間 清（北大）・馬淵浩司（岩手県立大） SS2007-44 |
等価変換に基づくプログラム構築は，仕様記述から低水準命令型プログラム生成までのプロセスを一貫して扱う枠組みである．確定節... [more] | SS2007-44 pp.37-42 |
| SS | 2007-12-17 14:00 |
島根 | 島根大学 | プログラム生成系GeneSysにおける等式仕様への否定の導入 ○近藤 悟・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2007-45 |
[more] | SS2007-45 pp.43-48 |
| SS | 2007-12-17 14:45 |
島根 | 島根大学 | コードの入れ子関係を用いたコードクローンのグループ化手法の提案 ○神谷年洋（産総研） SS2007-46 |
コードクローン検出ツールを数百万行のソースコードからなるソフトウェアに適用した場合，数万に及ぶコードクローンが検出される... [more] | SS2007-46 pp.49-54 |
| SS | 2007-12-17 15:15 |
島根 | 島根大学 | 識別子の共起関係に基づく類似コード検索法の提案と欠陥検出への適用 ○服部剛之・吉田則裕・早瀬康裕・肥後芳樹・松下 誠・楠本真二・井上克郎（阪大） SS2007-47 |
ソフトウェアの保守を行う際に，複数箇所に同様の修正を加える必要が生じるこ とがある． 例えば，ソースコード中にある欠... [more] |
SS2007-47 pp.55-60 |
| SS | 2007-12-17 15:45 |
島根 | 島根大学 | AGMアルゴリズムを用いたギャップを含むコードクローン情報の生成 ○肥後芳樹（阪大）・植田泰士（JAXA）・楠本真二・井上克郎（阪大） SS2007-48 |
これまでに多くのコードクローン検出手法が提案されているが，ギャップ(不一致部分)を含むコードクローンを検出できる手法は少... [more] | SS2007-48 pp.61-66 |
| SS | 2007-12-17 16:30 |
島根 | 島根大学 | 通信ネットワークの通信経路を抽出する制約プログラムにおける構造制約のテスト手法の改善 ○中島 一・大石晴夫・増田 健・山村哲哉（NTT） SS2007-49 |
本稿では，ネットワーク設計を行う制約プログラムの新しいテスト手法を提案する．この制約プログラムは，対象ネットワークの2つ... [more] | SS2007-49 pp.67-72 |
| SS | 2007-12-17 17:00 |
島根 | 島根大学 | 対話型埋込みによる数独問題の設計ツール ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） SS2007-50 |
近年，論理式の充足可能性判定ツール(SATソルバ)の高速化が進み，これを利用した数独パズルの解法が提案されている． 本... [more] |
SS2007-50 pp.73-78 |
| SS | 2007-12-18 09:00 |
島根 | 島根大学 | Webアプリケーションの統合テスト環境 ○片山朝子・上原忠弘・小高敏裕・田中ユカ・大橋恭子・山本里枝子（富士通研） SS2007-51 |
本稿ではWebアプリケーションのテスト環境の作成の支援を行うツール，Aptesterについて述べる．Aptesterはア... [more] | SS2007-51 pp.79-84 |
| SS | 2007-12-18 09:30 |
島根 | 島根大学 | シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について ○井上 陽・片山徹郎（宮崎大） SS2007-52 |
組込みシステム開発では、製品の品質を保つための効率の良いテストが、強く求められている。 しかし、テストケースの作成は、... [more] |
SS2007-52 pp.85-90 |
| SS | 2007-12-18 10:00 |
島根 | 島根大学 | Webコントローラ層におけるアスペクト指向プログラミング ○外村慶二・鵜林尚靖（九工大） SS2007-53 |
本論文では，Webアプリケーション開発に適したアスペクト指向プログラミン グ(AOP)機構を提案する．Webアプリケー... [more] |
SS2007-53 pp.91-96 |
| SS | 2007-12-18 10:45 |
島根 | 島根大学 | ソースコードからのファンクションポイント計測とその適用 ○赤池輝彦・楠本真二（阪大）・英 繁雄・芝元俊久（日立システムアンドサービス） SS2007-54 |
ファンクションポイント法とは，ソフトウェアの持つ機能数を基に，規模を測定するための手法である．ファンクションポイント法を... [more] | SS2007-54 pp.97-102 |
| SS | 2007-12-18 11:15 |
島根 | 島根大学 | オブジェクト指向プログラムの実行履歴に対する機能単位での自動分割手法 ○渡邊 結・石尾 隆・井上克郎（阪大） SS2007-55 |
オブジェクト指向プログラムによるシステムの振る舞いは，動的束縛等によって実行時に決定される要素が多いため，その理解にはプ... [more] | SS2007-55 pp.103-108 |
| SS | 2007-12-18 11:45 |
島根 | 島根大学 | 発展するeラーニングシステム ○加藤克宜・赤間 清・中村佳祐（北大） SS2007-56 |
eラーニングシステムは，多数の学習者や教員に使われるが，彼らが欲しい機能があらかじめすべて提供されているとは限らない． ... [more] |
SS2007-56 pp.109-114 |
[研究会発表申込システムのトップページに戻る]