scientific article; zbMATH DE number 2006494

MaRDI QIDQ4435868zbMATH OpenFDO

Authors R. Heckel, Jochen M. Küster, Gregor Engels

Publication date 20 November 2003

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

zbMATH Keywords

behavioral consistencymeta modelingmodel verification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Behavioral constraints for visual models
• scientific article; zbMATH DE number 2193913
• Formal Methods for Components and Objects
• Multi-view consistency in UML: a survey
• scientific article; zbMATH DE number 2080017

Cited in

(6)

• Consistency of the static and dynamic components of object-oriented specifications
• Imposing Modeling Rules on Industrial Applications through Meta-modeling
• scientific article; zbMATH DE number 2079825 (Why is no real title available?)
• Behavioral constraints for visual models
• Formal Methods for Components and Objects
• Methods and tools for translation of graphical diagrams

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 Q4435868)