情報・システム-ソフトウェアサイエンス(開催日:2007/12/10)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2007/12/10
[資料番号]
目次

,  

[発表日]2007/12/10
[資料番号]
法律や規則に適合した要求の獲得支援

佐伯 元司,  海谷 治彦,  

[発表日]2007/12/10
[資料番号]SS2007-38
アクタ関係行列を用いたiスターフレームワーク作成方法の実験評価

井部 己文,  佐藤 百合子,  山本 修一郎,  

[発表日]2007/12/10
[資料番号]SS2007-39
要望リストからの要望モデル構築

宮西 英彰,  山田 宏之,  甲斐 博,  阿萬 裕久,  

[発表日]2007/12/10
[資料番号]SS2007-40
組合せ子の非循環性について

岩見 宗弘,  

[発表日]2007/12/10
[資料番号]SS2007-41
OTS/CafeOBJ法における証明譜からのテスト生成

中村 正樹,  清野 貴博,  

[発表日]2007/12/10
[資料番号]SS2007-42
メタ計算に基づくプログラム生成実験システム

西田 好孝,  赤間 清,  小池 英勝,  

[発表日]2007/12/10
[資料番号]SS2007-43
決定的抽象プログラムから低水準命令型プログラムを合成する枠組み

若槻 俊宏,  赤間 清,  馬淵 浩司,  

[発表日]2007/12/10
[資料番号]SS2007-44
プログラム生成系GeneSysにおける等式仕様への否定の導入

近藤 悟,  酒井 正彦,  坂部 俊樹,  草刈 圭一郎,  西田 直樹,  

[発表日]2007/12/10
[資料番号]SS2007-45
コードの入れ子関係を用いたコードクローンのグループ化手法の提案

神谷 年洋,  

[発表日]2007/12/10
[資料番号]SS2007-46
識別子の共起関係に基づく類似コード検索法の提案と欠陥検出への適用

服部 剛之,  吉田 則裕,  早瀬 康裕,  肥後 芳樹,  松下 誠,  楠本 真二,  井上 克郎,  

[発表日]2007/12/10
[資料番号]SS2007-47
AGMアルゴリズムを用いたギャップを含むコードクローン情報の生成

肥後 芳樹,  植田 泰士,  楠本 真二,  井上 克郎,  

[発表日]2007/12/10
[資料番号]SS2007-48
通信ネットワークの通信経路を抽出する制約プログラムにおける構造制約のテスト手法の改善

中島 一,  大石 晴夫,  増田 健,  山村 哲哉,  

[発表日]2007/12/10
[資料番号]SS2007-49
対話型埋込みによる数独問題の設計ツール

馬野 洋平,  酒井 正彦,  西田 直樹,  坂部 俊樹,  草刈 圭一郎,  

[発表日]2007/12/10
[資料番号]SS2007-50
Webアプリケーションの統合テスト環境

片山 朝子,  上原 忠弘,  小高 敏裕,  田中 ユカ,  大橋 恭子,  山本 里枝子,  

[発表日]2007/12/10
[資料番号]SS2007-51
シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について

井上 陽,  片山 徹郎,  

[発表日]2007/12/10
[資料番号]SS2007-52
Webコントローラ層におけるアスペクト指向プログラミング

外村 慶二,  鵜林 尚靖,  

[発表日]2007/12/10
[資料番号]SS2007-53
ソースコードからのファンクションポイント計測とその適用

赤池 輝彦,  楠本 真二,  英 繁雄,  芝元 俊久,  

[発表日]2007/12/10
[資料番号]SS2007-54
オブジェクト指向プログラムの実行履歴に対する機能単位での自動分割手法

渡邊 結,  石尾 隆,  井上 克郎,  

[発表日]2007/12/10
[資料番号]SS2007-55
12>> 1-20hit(24hit)