Manipulating algebraic specifications with term-based and graph-based representations (Q1885933)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Manipulating algebraic specifications with term-based and graph-based representations |
scientific article; zbMATH DE number 2115325
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Manipulating algebraic specifications with term-based and graph-based representations |
scientific article; zbMATH DE number 2115325 |
Statements
Manipulating algebraic specifications with term-based and graph-based representations (English)
0 references
12 November 2004
0 references
Software engineering
0 references
Formal specification
0 references
Algebraic specification
0 references
Software reuse
0 references
Tool inter-operability
0 references
Interchange format
0 references
CASL
0 references
ELAN
0 references
0 references
0.678327739238739
0 references
0.6563129425048828
0 references
0.653709888458252
0 references
