Transformation of UML specification to XTG

DOI10.1007/3-540-45575-2_25MaRDI QIDQ3043829zbMATH OpenFDO

Authors E. E. Roubtsova, J. van Katwijk, R. C. M. de Rooij, Hans Toetenel

Publication date 6 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440247.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification of real-time systems in UML
• Specifying and verifying UML activity diagrams via graph transformation
• Transformation and verification of executable UML models
• Formal verification of UML statecharts with real-time extensions
• Towards UML-based formal specifications of component-based real-time software

Cited in

(3)

• Transformation and verification of executable UML models
• scientific article; zbMATH DE number 2102668 (Why is no real title available?)
• Specifying and verifying UML activity diagrams via graph transformation

This page was built for publication: Transformation of UML specification to XTG

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