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

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

,  

[発表日]2004/1/16
[資料番号]
目次

,  

[発表日]2004/1/16
[資料番号]
等価変換言語処理系ETI用いた否定を含む問題の解法

小池 英勝,  赤間 清,  

[発表日]2004/1/16
[資料番号]SS2003-38
計算モデルと正当性関係

赤間 清,  エカウィット ナンタジワラワット,  

[発表日]2004/1/16
[資料番号]SS2003-39
マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出

森 一夫,  岡野 浩三,  谷口 健一,  

[発表日]2004/1/16
[資料番号]SS2003-40
Javaのバイトコード変換によるエージェントマイグレーションの考察

鮫島 和美,  宮尾 淳一,  

[発表日]2004/1/16
[資料番号]SS2003-41
遅延型差分プログラミングを考慮したオブジェクト指向型プログラミング言語witの開発

川村 力,  魚井 宏高,  

[発表日]2004/1/16
[資料番号]SS2003-42
コンポーネントインタフェースにおける契約デザインの整合性検証

蔭山 達也,  丸山 勝久,  

[発表日]2004/1/16
[資料番号]SS2003-43
要求分析のためのシソーラス作成支援法

鬼久保 昌俊,  佐伯 元司,  

[発表日]2004/1/16
[資料番号]SS2003-44
種々の手法によるディジタルロジックの仕様記述とそれらの比較

山中 一宏,  加藤 靖,  高橋 薫,  

[発表日]2004/1/16
[資料番号]SS2003-45
複写される方へ

,  

[発表日]2004/1/16
[資料番号]
奥付

,  

[発表日]2004/1/16
[資料番号]