Refinement of UML collaborations

zbMATH Open1334.68044MaRDI QIDQ2804078FDOQ2804078

Authors Bogumiła Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz 

Publication date 27 April 2016

Published in International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)

zbMATH Keywords

refinementUMLcollaborations

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Refinement inference for sequence diagrams
• Concurrency and refinement in the unified modeling language
• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1693516
• Refinement via consistency checking in MDA

Cited in

(4)

• Refinement via consistency checking in MDA
• Promoting models
• scientific article; zbMATH DE number 1693516 (Why is no real title available?)
• Refinement inference for sequence diagrams

This page was built for publication: Refinement of UML collaborations

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