|
|
|
Volumn , Issue , 1998, Pages 393-398
|
|
Code synthesis based on object-oriented design models and formal specifications
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CODES (SYMBOLS);
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER SIMULATION;
COMPUTER SIMULATION LANGUAGES;
DATA STRUCTURES;
FORMAL LANGUAGES;
OBJECT ORIENTED PROGRAMMING;
PROGRAM COMPILERS;
PROGRAM TRANSLATORS;
CODE SYNTHESIS;
FORMAL SPECIFICATIONS;
UNIFIED MODELING LANGUAGE;
COMPUTER AIDED SOFTWARE ENGINEERING;
|
|
EID: 0032302004
PISSN: 07303157
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (5)
|
|
References (14)
|
