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

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

,  

[発表日]1999/7/9
[資料番号]
目次

,  

[発表日]1999/7/9
[資料番号]
有機的プログラミング言語GAEAの代数仕様記述

石川 洋,  

[発表日]1999/7/9
[資料番号]SS99-15
統一的セマンティックモデルに基づくリアクティブシステムの形式的開発方法論

山根 智,  

[発表日]1999/7/9
[資料番号]SS99-16
等価変換によるナンバーラインの解法

平田 聡,  赤間 清,  宮本 衛市,  

[発表日]1999/7/9
[資料番号]SS99-17
宣言的な問題記述からのオートマトンの生成法

吉田 忠行,  赤間 清,  宮本 衛市,  

[発表日]1999/7/9
[資料番号]SS99-18
setof参照を用いた宣言的記述からのルール生成

辻 武士,  赤間 清,  宮本 衛市,  

[発表日]1999/7/9
[資料番号]SS99-19
効率的な等価変換ルールを探索する方法

小池 英勝,  赤間 清,  宮本 衛市,  

[発表日]1999/7/9
[資料番号]SS99-20
ワークステーションクラスタを用いた耐故障並列分枝限定法の実装

小林 慎和,  土屋 達弘,  菊野 亨,  

[発表日]1999/7/9
[資料番号]SS99-21
ソフトウェアパターンの変換に基づくソフトウェア開発

小林 隆志,  加茂 昌彦,  佐伯 元司,  

[発表日]1999/7/9
[資料番号]SS99-22
バージョン管理ファイルシステムを用いた保守支援ツールの提案

山本 哲男,  松下 誠,  井上 克郎,  

[発表日]1999/7/9
[資料番号]SS99-23
[OTHERS]

,  

[発表日]1999/7/9
[資料番号]