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

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

,  

[発表日]1994/1/20
[資料番号]
目次

,  

[発表日]1994/1/20
[資料番号]
オブジェクト指向言語におけるクラス代入と型に関する考察

早野 孝彦,  坂部 俊樹,  稲垣 康善,  

[発表日]1994/1/20
[資料番号]SS93-39
意味マッチングと単一化に基づくパターン駆動並行リダクションモデル

山本 栄二,  坂部 俊樹,  稲垣 康善,  

[発表日]1994/1/20
[資料番号]SS93-40
項の集合の書換え系とKnuth-Bendixの完備化に関する考察

粕谷 英人,  酒井 正彦,  山本 晋一郎,  阿草 清滋,  

[発表日]1994/1/20
[資料番号]SS93-41
プロセス記述によるソフトウェア開発における連絡支援の試み

玉井 昌朗,  飯田 元,  井上 克郎,  鳥居 宏次,  

[発表日]1994/1/20
[資料番号]SS93-42
リアクティブシステム記述体系AFSMの関数型言語による実現

上村 淳一,  片山 卓也,  

[発表日]1994/1/20
[資料番号]SS93-43
グラフィカルユーザーインタフェースを持つ項書換え系の解析・変換支援環境

河口 信夫,  坂部 俊樹,  稲垣 康善,  

[発表日]1994/1/20
[資料番号]SS93-44
[OTHERS]

,  

[発表日]1994/1/20
[資料番号]