DocumentCode :
312959
Title :
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ
Author :
Nakajima, Shin ; Futatsugi, Kokichi
Author_Institution :
C&C Research Laboratories, NEC Corporatiom
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
34
Lastpage :
44
Keywords :
Object-Oriented Modeling, Formal Methods, Executable Specifications, Algebraic Specifications, Concurrent Rewriting, OBJ, CafeOBJ; Collaboration; Design engineering; Guidelines; Laboratories; Logic functions; National electric code; Object oriented modeling; Permission; Software quality; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610199
Filename :
610199
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312959
بازگشت