Analysis of UML Activities Using Dynamic Meta Modeling

From MaRDI portal

DOI10.1007/978-3-540-72952-5_5MaRDI QIDQ5428908zbMATH OpenOpenAlexFDO

Authors Christian Soltenborn, Gregor Engels, Heike Wehrheim

Publication date 28 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_5


zbMATH Keywords

behaviorDMMsemanticsUMLverification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)




Recommendations


Cites work


Cited in
(7)


Describes a project that uses

Uses Software






This page was built for publication: Analysis of UML Activities Using Dynamic Meta Modeling

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Analysis_of_UML_Activities_Using_Dynamic_Meta_Modeling&oldid=92309075"
Powered by MediaWiki