scientific article; zbMATH DE number 1754583

MaRDI QIDQ4535008zbMATHFDO

Authors M. Große-Rhode

Publication date 12 June 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2076/20760040

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Semantic integration of heterogeneous software specifications.
• Formal concepts for an integrated internal model of the UML
• Publication:4940886
• Theoretical Aspects of Computing - ICTAC 2004
• Consistent integration of models based on views of meta models

Cited in

(11)

• Semantic links in integrated modelling frameworks
• Formal concepts for an integrated internal model of the UML
• Object-oriented modeling by viewpoint using UML
• Algebra transformation systems as a unifying framework
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• Object-oriented modelling and specification using SHE
• Consistent integration of models based on views of meta models
• Partial order semantics for use case and task models
• Extending standard UML with model composition semantics
• scientific article; zbMATH DE number 1512072 (Why is no real title available?)
• 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 Q4535008)