Concurrency and refinement in the unified modeling language
zbMATH Open1270.68080MaRDI QIDQ2844827FDOQ2844827
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804943
Recommendations
- Concurrency and refinement in the unified modeling language
- scientific article; zbMATH DE number 1860616
- Formalising the UML in structured temporal theories
- On the semantics of unified modeling language diagrams using Z notation
- Understanding UML: a formal semantics of concurrency and communication in real-time UML.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (20)
- Computer Aided Systems Theory – EUROCAST 2005
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrency and refinement in the unified modeling language
- Theoretical Aspects of Computing - ICTAC 2004
- Title not available (Why is that?)
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
- Title not available (Why is that?)
- On the semantics of unified modeling language diagrams using Z notation
- Decomposing Interactions
- Title not available (Why is that?)
- Formal Methods for the Design of Real-Time Systems
- Algebraic Methodology and Software Technology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Title not available (Why is that?)
This page was built for publication: Concurrency and refinement in the unified modeling language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844827)
