Pages that link to "Item:Q706511"
From MaRDI portal
The following pages link to Concurrency and refinement in the unified modeling language (Q706511):
Displaying 12 items.
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams (Q855010) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Ordering actions in sequence diagrams of UML (Q2768136) (← links)
- Refinement of UML collaborations (Q2804078) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Concurrency and refinement in the unified modeling language (Q2844827) (← links)
- A coalgebraic semantic framework for component-based development in UML (Q2849889) (← links)
- On the semantics of unified modeling language diagrams using Z notation (Q3156866) (← links)
- (Q4027626) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494309) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709965) (← links)