scientific article; zbMATH DE number 1512072

MaRDI QIDQ4505699zbMATH OpenFDO

Authors Hartmut Ehrig, Robert Geisler, Marcus Klar, Stefan A. Mann, M. Große-Rhode

Publication date 4 September 2001

zbMATH Keywords

formal semanticsobject-oriented modeling languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1860665
• scientific article; zbMATH DE number 1754583
• scientific article; zbMATH DE number 1346359
• Formal justification in object-oriented modelling: A linguistic approach
• Integrating object-oriented model with object-oriented metamodel into a single formalism
• Semantics, calculi, and analysis for object-oriented specifications
• scientific article; zbMATH DE number 1860664

Cited in

(12)

• Integrating object-oriented model with object-oriented metamodel into a single formalism
• A note on semantics (with an emphasis on UML)
• scientific article; zbMATH DE number 1346359 (Why is no real title available?)
• Object-oriented modelling and specification using SHE
• scientific article; zbMATH DE number 1104381 (Why is no real title available?)
• scientific article; zbMATH DE number 1507039 (Why is no real title available?)
• scientific article; zbMATH DE number 2155176 (Why is no real title available?)
• scientific article; zbMATH DE number 1860665 (Why is no real title available?)
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• scientific article; zbMATH DE number 6174937 (Why is no real title available?)
• Formal justification in object-oriented modelling: A linguistic approach
• Inter-deriving semantic artifacts for object-oriented programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4505699)