Pages that link to "Item:Q703583"
From MaRDI portal
The following pages link to A semantic and methodological essence of message sequence charts (Q703583):
Displaying 10 items.
- Multifunctional software systems: Structured modeling and specification of functional requirements (Q608340) (← links)
- Describing interactions between MSC components: The MSC connectors. (Q1400424) (← links)
- Broadcast MSCs (Q1882800) (← links)
- Realizability of high-level message sequence charts: closing the gaps (Q1884911) (← links)
- MSCPDL -- a language for behavioural abstraction (Q2716419) (← links)
- Formal techniques for analysing scenarios using message sequence charts (Q2841314) (← links)
- Message sequence charts in the development process -- roles and limitations (Q2841315) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- (Q4428292) (← links)
- Lectures on Concurrency and Petri Nets (Q5712292) (← links)