Pages that link to "Item:Q3156866"
From MaRDI portal
The following pages link to On the semantics of unified modeling language diagrams using Z notation (Q3156866):
Displaying 9 items.
- Concurrency and refinement in the unified modeling language (Q706511) (← links)
- A formal semantics of data flow diagrams (Q1346602) (← links)
- A semantics of sequence diagrams. (Q1853122) (← links)
- A note on semantics (with an emphasis on UML) (Q2737500) (← links)
- Concurrency and refinement in the unified modeling language (Q2844827) (← links)
- A diagrammatic logic for object-oriented visual modeling (Q2864376) (← links)
- The unified modeling language (Q2906940) (← links)
- Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory (Q3156869) (← links)
- (Q4436953) (← links)