Pages that link to "Item:Q2844827"
From MaRDI portal
The following pages link to Concurrency and refinement in the unified modeling language (Q2844827):
Displaying 13 items.
- Concurrency and refinement in the unified modeling language (Q706511) (← links)
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams (Q855010) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Refinement of UML collaborations (Q2804078) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Transformation and verification of executable UML models (Q2847424) (← links)
- A coalgebraic semantic framework for component-based development in UML (Q2849889) (← links)
- The unified modeling language (Q2906940) (← links)
- On the semantics of unified modeling language diagrams using Z notation (Q3156866) (← links)
- (Q4027626) (← links)
- Algebraic Methodology and Software Technology (Q5312986) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494309) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709965) (← links)