scientific article; zbMATH DE number 2085183

MaRDI QIDQ4736407zbMATH OpenFDO

Authors Mark Richters, Martin Gogolla

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2263/22630085.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2089475
• Adding graph transformation concepts to UML's constraint language OCL
• scientific article; zbMATH DE number 2085181
• Logic Foundations of the OCL Modelling Language
• scientific article; zbMATH DE number 1947738

Cited in

(13)

• Semantics, calculi, and analysis for object-oriented specifications
• Reasoning on UML class diagrams
• Querying UML class diagrams
• scientific article; zbMATH DE number 1946724 (Why is no real title available?)
• scientific article; zbMATH DE number 1946727 (Why is no real title available?)
• scientific article; zbMATH DE number 1947738 (Why is no real title available?)
• scientific article; zbMATH DE number 2006493 (Why is no real title available?)
• scientific article; zbMATH DE number 2006500 (Why is no real title available?)
• Adding graph transformation concepts to UML's constraint language OCL
• The HOL-CSP Refinement Toolkit
• Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication:

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