A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams

DOI10.1007/978-3-642-10619-4_10zbMath1185.68091OpenAlexW2150155196MaRDI QIDQ5305761

Youcef Hammal

Publication date: 23 March 2010

Published in: Advances in Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-10619-4_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams