|
|
Volumn , Issue , 1997, Pages 34-44
|
|
Object-oriented modeling method for algebraic specifications in CafeOBJ
a
a
NEC CORPORATION
(Japan)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER SIMULATION;
FORMAL LOGIC;
SOFTWARE ENGINEERING;
COMPUTER SYSTEMS PROGRAMMING;
SORTING;
CAFEOBJ PROGRAMMING LANGUAGE;
CONCURRENT REWRITING;
EXECUTABLE SPECIFICATIONS;
OBJECT ORIENTED PROGRAMMING;
ALGEBRAIC SPECIFICATION LANGUAGE;
EXECUTABLE SPECIFICATIONS;
|
|
EID: 0030615496
PISSN: 02705257
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/253228.253238 Document Type: Conference Paper |
|
Times cited : (18)
|
|
References (35)
|
