Transformation and verification of executable UML models

zbMATH Open1271.68087MaRDI QIDQ2847424FDOQ2847424

Authors: Günter Graw, Peter Herrmann 

Publication date: 9 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051059

Recommendations

• Live and let die: LSC based verification of UML models
• Concurrency and refinement in the unified modeling language
• Formalising the UML in structured temporal theories
• scientific article; zbMATH DE number 2084346
• Global Computing

Mathematics Subject Classification ID

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

Cited In (13)

• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Live and let die: LSC based verification of UML models
• Title not available (Why is that?)
• Global Computing
• Title not available (Why is that?)
• Practical refactoring of executable UML models
• Model Checking Software

This page was built for publication: Transformation and verification of executable UML models

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