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

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

,  

[発表日]2001/1/15
[資料番号]
目次

,  

[発表日]2001/1/15
[資料番号]
Assume-Guarantee形式による実時間ソフトウェアの演繹的詳細化検証手法

山根 智,  山ノ口 崇,  

[発表日]2001/1/15
[資料番号]SS2000-31
代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証

清野 貴博,  緒方 和博,  二木 厚吉,  

[発表日]2001/1/15
[資料番号]SS2000-32
文脈依存書き換えの拡張

中村 正樹,  二木 厚吉,  

[発表日]2001/1/15
[資料番号]SS2000-33
論理関数を用いた並行システムにおけるデッドロック検出手法の提案と評価

徳田 勇祐,  土屋 達弘,  菊野 亨,  

[発表日]2001/1/15
[資料番号]SS2000-34
記号モデル検査を用いたシステムの耐故障性の自動検証手法の提案

横川 智教,  土屋 達弘,  菊野 亨,  

[発表日]2001/1/15
[資料番号]SS2000-35
信頼性を最大にするκコテリーの構成法の提案

崔 銀恵,  土屋 達弘,  菊野 亨,  

[発表日]2001/1/15
[資料番号]SS2000-36
部品の配置と通信路に着目した分散システムの形式仕様による文書化

宮田 勇人,  藤枝 和宏,  落水 浩一郎,  

[発表日]2001/1/15
[資料番号]SS2000-37
路車間通信システムにおける地域情報の地理的配置方式

王 余,  田頭 茂明,  藤田 聡,  

[発表日]2001/1/15
[資料番号]SS2000-38
動作定義と外部イベント集合からの並列プロセス自動生成法

喜家村 奨,  高田 喜朗,  関 浩之,  

[発表日]2001/1/15
[資料番号]SS2000-39
アクティブスケジューラ:分散システムにおける並列プログラムの自律的な並列処理制御

〓 〓,  田頭 茂明,  伊東 靖英,  藤田 聡,  

[発表日]2001/1/15
[資料番号]SS2000-40
型付きλ計算の拡張によるMobile計算の定式化

白井 智,  佐藤 雅彦,  

[発表日]2001/1/15
[資料番号]SS2000-41
[OTHERS]

,  

[発表日]2001/1/15
[資料番号]