Formal concepts for an integrated internal model of the UML

DOI10.1016/S1571-0661(04)80945-9zbMath1263.68110MaRDI QIDQ4923510

Martin Grosse-Rhode

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Formal concepts for an integrated internal model of the UML ⋮ Algebra Transformation Systems as a Unifying Framework

Cites Work

• Formal concepts for an integrated internal model of the UML
• LSCs: Breathing life into message sequence charts
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal concepts for an integrated internal model of the UML