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

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

,  

[発表日]1996/10/1
[資料番号]
目次

,  

[発表日]1996/10/1
[資料番号]
等価変換による制約充足問題の解法

吹田 慶子,  赤間 清,  宮本 衛市,  

[発表日]1996/10/1
[資料番号]SS96-18
等価変換プログラミング言語ETC

清水 伴訓,  赤間 清,  宮本 衛市,  

[発表日]1996/10/1
[資料番号]SS96-19
制約論理の実用システムへの応用 : 乗務員交番作成システム(CLARS)

坂口 隆,  

[発表日]1996/10/1
[資料番号]SS96-20
機能量尺度に基づく情報システムのコスト評価

高橋 光裕,  

[発表日]1996/10/1
[資料番号]SS96-21
オブジェクト指向ソフトウェアメトリクス評価基本システムとソフトウェア評価

中村 武,  八塚 陽太郎,  

[発表日]1996/10/1
[資料番号]SS96-22
[OTHERS]

,  

[発表日]1996/10/1
[資料番号]