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

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

,  

[発表日]2002/9/13
[資料番号]
目次

,  

[発表日]2002/9/13
[資料番号]
状態マシンモデルに基づいた並行システムの複合的仕様化手法

高橋 薫,  只野 良一,  加藤 靖,  

[発表日]2002/9/13
[資料番号]SS2002-15
契約ネットプロトコルの形式的仕様化と解析

板橋 吾一,  原本 欽朗,  加藤 靖,  高橋 薫,  白鳥 則郎,  

[発表日]2002/9/13
[資料番号]SS2002-16
利用頻度に基づくソフトウェア部品の解析・検索システムの提案

山本 哲男,  横森 励士,  松下 誠,  楠本 真二,  井上 克郎,  

[発表日]2002/9/13
[資料番号]SS2002-17
ハイブリッドオートマトンによるリアルタイムソフトウェアの仕様記述とスケジューラビリティ検証

山根 智,  

[発表日]2002/9/13
[資料番号]SS2002-18
分散ポリシー制御のためのポリシー記述言語

國信 茂太,  高田 喜朗,  田口 大悟,  中江 政行,  関 浩之,  

[発表日]2002/9/13
[資料番号]SS2002-19
[OTHERS]

,  

[発表日]2002/9/13
[資料番号]