Consistency of the static and dynamic components of object-oriented specifications

DOI10.1016/S0169-023X(01)00052-0MaRDI QIDQ2778415zbMATH OpenFDO

Authors Anna Formica, Heinz Frank

Publication date 3 March 2002

Published in Data \& Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(01)00052-0

zbMATH Keywords

object-oriented modeling

Mathematics Subject Classification ID

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 2193913
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• scientific article; zbMATH DE number 1304665
• scientific article; zbMATH DE number 2006494

Cited in

(5)

• Virginity: A contribution to the specification of object-oriented software
• A framework for establishing formal conformance between object models and object-oriented programs
• Formal Methods for Components and Objects
• Logic Based Program Synthesis and Transformation
• Static consistency checking of web applications with WebDSL

Describes a project that uses

Uses Software

• Leibniz

This page was built for publication: Consistency of the static and dynamic components of object-oriented specifications

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