|
Volumn 1357, Issue , 1998, Pages 100-104
|
Patterns of the agenda
|
Author keywords
Formal methods; Metaprogramming; Tool support for design patterns
|
Indexed keywords
FORMAL METHODS;
FORMAL SPECIFICATION;
SPECIFICATIONS;
CONCEPTUAL FRAMEWORKS;
DESIGN PATTERNS;
META PROGRAMMING;
DESIGN;
|
EID: 79960351300
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-69687-3_19 Document Type: Conference Paper |
Times cited : (3)
|
References (10)
|