Formal Problem Domain Modeling within MDA

DOI10.1007/978-3-540-88655-6_29zbMATH Open1181.68335OpenAlexW1638724224MaRDI QIDQ3612902FDOQ3612902

Authors: Janis Osis, Erika Asnina, Andrejs Grave 

Publication date: 11 March 2009

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-540-88655-6_29

Recommendations

• Domain modeling-based software engineering. A formal approach
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 7633803
• Formal model-based constraint solving and document generation

zbMATH Keywords

Topological Functioning Modeling for Model Driven Architecture

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Cites Work

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

Cited In (1)

• Formalization of the UML class diagrams

This page was built for publication: Formal Problem Domain Modeling within MDA

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