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

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

,  

[発表日]2002/1/23
[資料番号]
目次

,  

[発表日]2002/1/23
[資料番号]
ペトリネットに対する充足可能性判定を用いた検証法の提案

芦田 英二,  土屋 達弘,  菊野 亨,  

[発表日]2002/1/23
[資料番号]SS2001-39
ハイブリッドモデルの詳細化理論による組込み型システムの開発方法論

山根 智,  

[発表日]2002/1/23
[資料番号]SS2001-40
時間制約を持つGUI制御部の仕様記述の一手法

加藤 雄一郎,  岡野 浩三,  谷口 健一,  

[発表日]2002/1/23
[資料番号]SS2001-41
時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出

山口 昭,  岡野 浩三,  谷口 健一,  

[発表日]2002/1/23
[資料番号]SS2001-42
形式的文書操作のための表形式用XMLビューア

井上 理,  仲川 俊一,  有田 友和,  夜久 竹夫,  土田 賢省,  

[発表日]2002/1/23
[資料番号]SS2001-43
オブジェクト指向計算記述日本語OCDJの設計

上田 賀一,  畠山 正行,  加藤木 和夫,  

[発表日]2002/1/23
[資料番号]SS2001-44
Javaバーチャルマシンを利用した動的依存関係解析手法の提案

誉田 謙二,  梅森 文彰,  大畑 文明,  井上 克郎,  

[発表日]2002/1/23
[資料番号]SS2001-45
[OTHERS]

,  

[発表日]2002/1/23
[資料番号]