情報・システム-知能ソフトウェア工学(開催日：1996/07/29)

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

,  

[発表日]1996/7/29
[資料番号]
目次

,  

[発表日]1996/7/29
[資料番号]
プログラム仕様から手続き型プログラムへの変換の一定式化

Efendy Lukman,  橋本 正明,  廣田 豊彦,  

[発表日]1996/7/29
[資料番号]KBSE-96-8
優先度つき状態遷移図における経路評価

大森 麻理,  松本 一教,  

[発表日]1996/7/29
[資料番号]KBSE-96-9
並行開発型分散情報システム開発力法論 : ParaDISE

畑 恵介,  高田 信一,  山本 修一郎,  

[発表日]1996/7/29
[資料番号]KBSE-96-10
広域コンポーネント利用支援システムWACS

高木 浩則,  山本 修一郎,  

[発表日]1996/7/29
[資料番号]KBSE-96-11
[OTHERS]

,  

[発表日]1996/7/29
[資料番号]