Formalization of the UML Class Diagrams

DOI10.1007/978-3-642-14819-4_13zbMath1211.68118OpenAlexW1452772591MaRDI QIDQ3058791

Janis Osis, Uldis Donins

Publication date: 7 December 2010

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14819-4_13

zbMATH Keywords

unified modeling languagetopological functioning model

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• Z

Cites Work

• Unnamed Item
• Formal Problem Domain Modeling within MDA

This page was built for publication: Formalization of the UML Class Diagrams