JAIST Repository >
Theses >
Master of Science(Information Science) >
H10) (Jun.1998 - Mar.1999 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/1230

Title: CafeOBJからJavaへの変換と同期記述
Authors: 兼, 英樹
Authors(alternative): かね, ひでき
Keywords: CafeOBJ, Java, 書き換え規則, オブジェクト合成, 同期記述
CafeOBJ, Java, Object composition , Transition Sys
Issue Date: Mar-1999
Supervisor:二木 厚吉
Title(English): The Conversion from CafeOBJ to Java, and synchronous description
Authors(English): Kane, Hideki
Language: jpn
URI: http://hdl.handle.net/10119/1230
Appears in Collections:M-IS. 1998年度(H10) (Jun.1998 - Mar.1999)

Files in This Item:

File Description SizeFormat
653abstract.pdf67KbAdobe PDFView/Open
653jabstract.pdf44KbAdobe PDFView/Open
653paper.pdf438KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology