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

Anna Formica, Heinz Frank. Consistency of the static and dynamic components of object-oriented specifications. Data \& Knowledge Engineering, 40(2):195-215, 2002. [doi]

Abstract

Abstract is missing.