情報・システム-ソフトウェアサイエンス(開催日：2001/01/16)

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

,  

[発表日]2001/1/16
[資料番号]
目次

,  

[発表日]2001/1/16
[資料番号]
制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ

佐野 範佳,  山根 智,  直井 徹,  

[発表日]2001/1/16
[資料番号]SS2000-42
リアクティブシステムの段階的充足可能性とSafety Propertyの関係

吉浦 紀晃,  米崎 直樹,  

[発表日]2001/1/16
[資料番号]SS2000-43
E-commerceソフトウェアの形式的開発方法論

梅田 謹公,  山根 智,  

[発表日]2001/1/16
[資料番号]SS2000-44
JAVAプログラムからのファンクションポイント計測に関する一考察

今川 勝博,  楠本 真二,  井上 克郎,  

[発表日]2001/1/16
[資料番号]SS2000-45
ソフトウェアプロセスの時間オートマトンおよび時間モジュールによる記述法の比較

館 宜伸,  服部 哲,  落水 浩一郎,  

[発表日]2001/1/16
[資料番号]SS2000-46
コードクローン検出における新手法の提案および評価実験

神谷 年洋,  楠本 真二,  井上 克郎,  

[発表日]2001/1/16
[資料番号]SS2000-47
分散共同ソフトウェア開発に対するソフトウェアプロセスモデルに関する基礎考察

落水 浩一郎,  

[発表日]2001/1/16
[資料番号]SS2000-48
レガシーソフトウェアを対象とするクローンコードの定量的分析

中江 大海,  神谷 年洋,  門田 暁人,  加藤 裕史,  佐藤 慎一,  井上 克郎,  

[発表日]2001/1/16
[資料番号]SS2000-49
動的データ依存関係解析を用いたJavaプログラムスライス手法

廣瀬 航也,  大畑 文明,  井上 克郎,  

[発表日]2001/1/16
[資料番号]SS2000-50
パターンによって補完される諸特性の分析

太田 健一郎,  深澤 良彰,  

[発表日]2001/1/16
[資料番号]SS2000-51
ソースコードの並び替えによるソフトウェアの問題発見手法

寺井 淳裕,  内田 眞司,  島 和之,  武村 泰宏,  松本 健一,  井上 克郎,  鳥居 宏次,  

[発表日]2001/1/16
[資料番号]SS2000-52
[OTHERS]

,  

[発表日]2001/1/16
[資料番号]