scientific article; zbMATH DE number 1104381

MaRDI QIDQ4370261zbMATH OpenFDO

Authors María M. Larrondo-Petrie, Robert B. France, Monika Saksena, Malcolm Shroft

Publication date 2 February 1998

zbMATH Keywords

OO modeling languageunified modeling language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949631
• scientific article; zbMATH DE number 1860665
• On the semantics of unified modeling language diagrams using Z notation
• scientific article; zbMATH DE number 1512072
• scientific article; zbMATH DE number 1949629

Cited in

(6)

• Integrating object-oriented model with object-oriented metamodel into a single formalism
• Object calculus and the object-oriented analysis and design of an error-sensitive GIS
• scientific article; zbMATH DE number 1304043 (Why is no real title available?)
• scientific article; zbMATH DE number 2080619 (Why is no real title available?)
• scientific article; zbMATH DE number 756080 (Why is no real title available?)
• scientific article; zbMATH DE number 1860665 (Why is no real title available?)

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