Theoretical Aspects of Computing - ICTAC 2004

DOI10.1007/B107116MaRDI QIDQ5709965zbMATH OpenOpenAlexFDO

Authors Jing Yang, Zhiming Liu, Xiaoshan Li, Quan Long

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107116

zbMATH Keywords

Formal semanticsModel integrationRefinementUML

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Integrating Model Information in UML Sequence Diagrams
• Formal concepts for an integrated internal model of the UML
• scientific article; zbMATH DE number 2086943
• Concurrency and refinement in the unified modeling language
• Concurrency and refinement in the unified modeling language

Cited in

(7)

• scientific article; zbMATH DE number 2088754 (Why is no real title available?)
• Integrating a Program Design Calculus and a Subset of UML
• scientific article; zbMATH DE number 1754583 (Why is no real title available?)
• Integrating Model Information in UML Sequence Diagrams
• Partial order semantics for use case and task models
• A strategy for model construction and integration in MDA
• rCOS: a refinement calculus of object systems

This page was built for publication: Theoretical Aspects of Computing - ICTAC 2004

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