scientific article; zbMATH DE number 5004762

MaRDI QIDQ3370739zbMATH OpenFDO

Authors Ragnhild Kobro Runde, Øysten Haugen, Ketil Stølen

Publication date 8 February 2006

zbMATH Keywords

formal semanticsSTAIRS

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• A Heterogeneous Approach to UML Semantics
• scientific article; zbMATH DE number 1860616
• scientific article; zbMATH DE number 2084456
• scientific article; zbMATH DE number 1708033
• On the complexities of consistency checking for restricted UML class diagrams
• scientific article; zbMATH DE number 1946723
• An interleaving semantics for UML 2 interactions using Petri nets

Cited in

(3)

• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Stepwise refinement of sequence diagrams with soft real-time constraints
• Underspecification, inherent nondeterminism and probability in sequence diagrams

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370739)