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

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

,  

[発表日]1998/3/24
[資料番号]
目次

,  

[発表日]1998/3/24
[資料番号]
異常検出に対する言語・機種に非依存なオブジェクト最適化

水沼 信治,  鈴木 貢,  渡邊 坦,  

[発表日]1998/3/24
[資料番号]
通信型時間属性文法の形式的定義

松崎 智広,  徳田 雄洋,  

[発表日]1998/3/24
[資料番号]
欠陥仕様からの修正情報抽出に関する研究

中村 匡伸,  友石 正彦,  米崎 直樹,  

[発表日]1998/3/24
[資料番号]
準同型写像によるβ書き換え系の到達不能性の証明

赤間 清,  繁田 良則,  宮本 衛市,  

[発表日]1998/3/24
[資料番号]
文字列領域における負制約の等価変換の基礎

赤間 清,  岡田 浩一,  宮本 衛市,  

[発表日]1998/3/24
[資料番号]
マルチセット領域の宣言的プログラムの基礎的な等価変換

川口 雄一,  赤間 清,  宮本 衛市,  

[発表日]1998/3/24
[資料番号]
ソフトウェアの動作状況のモデル化に関する研究

日高 隆博,  山本 晋一郎,  阿草 清滋,  

[発表日]1998/3/24
[資料番号]
項書換え系の拡張された階層的結合における停止性のモジェラー性

大野 健治,  河口 信夫,  酒井 正彦,  坂部 俊樹,  稲垣 康善,  

[発表日]1998/3/24
[資料番号]
依存対に基づく高階項書換え系の停止性証明

渡辺 啓嗣,  河口 信夫,  酒井 正彦,  坂部 俊樹,  稲垣 康善,  

[発表日]1998/3/24
[資料番号]
オブジェクト指向モデルMonoProcessを用いたソフトウェア開発管理システムにおけるユーザインターフェース部

大下 誠,  永山 裕之,  山本 哲男,  松下 誠,  楠本 真二,  井上 克郎,  

[発表日]1998/3/24
[資料番号]
保守プロセスに対するプログラムスライスの実験的評価

西松 顯,  楠本 真二,  井上 克郎,  

[発表日]1998/3/24
[資料番号]
要求仕様書に対するファンクションポイント計測ツールの試作

柏本 隆志,  石田 直也,  神谷 年洋,  楠本 真二,  井上 克郎,  鈴木 文音,  勝瑞 雅也,  湯浦 克彦,  津田 道夫,  

[発表日]1998/3/24
[資料番号]
[OTHERS]

,  

[発表日]1998/3/24
[資料番号]