A semantic and methodological essence of message sequence charts
From MaRDI portal
Publication:703583
Recommendations
Cited in
(19)- scientific article; zbMATH DE number 1701776 (Why is no real title available?)
- Describing interactions between MSC components: The MSC connectors.
- Realizability of high-level message sequence charts: closing the gaps
- scientific article; zbMATH DE number 2043461 (Why is no real title available?)
- Formal techniques for analysing scenarios using message sequence charts
- scientific article; zbMATH DE number 1980918 (Why is no real title available?)
- Lectures on Concurrency and Petri Nets
- Multifunctional software systems: Structured modeling and specification of functional requirements
- Modelling a railway crossing with message sequence charts and Petri nets
- MSCPDL -- a language for behavioural abstraction
- scientific article; zbMATH DE number 1951542 (Why is no real title available?)
- scientific article; zbMATH DE number 1956501 (Why is no real title available?)
- scientific article; zbMATH DE number 1728507 (Why is no real title available?)
- scientific article; zbMATH DE number 1728508 (Why is no real title available?)
- scientific article; zbMATH DE number 1728519 (Why is no real title available?)
- Message sequence charts in the development process -- roles and limitations
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
- LSCs: Breathing life into message sequence charts
- Broadcast MSCs
This page was built for publication: A semantic and methodological essence of message sequence charts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703583)