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

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

,  

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

,  

[発表日]1998/12/3
[資料番号]
移動性を考慮した有限状態モデルに基づく並行システムの仕様化

板橋 吾一,  高橋 薫,  加藤 靖,  

[発表日]1998/12/3
[資料番号]SS98-30
実行環境に依存する部分を含めたソフトウェア部品の形式的仕様の記述

海谷 治彦,  落水 浩一郎,  

[発表日]1998/12/3
[資料番号]SS98-31
仕様変更に伴うソースコード変更量の分析 : クラス機能特性に基づくメトリクスの適用

上原 智,  水野 修,  伊登 友美,  菊野 亨,  

[発表日]1998/12/3
[資料番号]SS98-32
区間変数の領域における等式制約の等価変換の正当性

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

[発表日]1998/12/3
[資料番号]SS98-33
ソフトシステム方法論に基づくソフトウェア開発

上田 賀一,  

[発表日]1998/12/3
[資料番号]SS98-34
[OTHERS]

,  

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