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)

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

zbMATH Keywords

refinementUMLcollaborations

Mathematics Subject Classification ID

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

Cited In (4)

• Refinement inference for sequence diagrams
• Title not available (Why is that?)
• Promoting models
• Refinement via consistency checking in MDA

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)