On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams

DOI10.1007/S00165-006-0003-6zbMATH Open1102.68451OpenAlexW2008535490MaRDI QIDQ855010FDOQ855010

Perdita Stevens, Jennifer Tenzer

Publication date: 20 December 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12644216/fac.pdf

zbMATH Keywords

UMLRecursionCallbacksObject-oriented modellingProtocol state machinesState machines

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Concurrency and refinement in the unified modeling language 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Concurrency and refinement in the unified modeling language 👍 👎

This page was built for publication: On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams

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