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

DOI10.1016/S0169-023X(01)00052-0zbMath0984.68187MaRDI QIDQ2778415

Anna Formica, Heinz Frank

Publication date: 3 March 2002

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

zbMATH Keywords

object-oriented modeling

Mathematics Subject Classification ID

Uses Software

• Leibniz

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