Formal Problem Domain Modeling within MDA

DOI10.1007/978-3-540-88655-6_29MaRDI QIDQ3612902zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Topological Functioning Modeling for Model Driven Architecture

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

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

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)