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

Abstract

Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in the literature there are no formal frameworks that allow designers to verify the consistency (absence of contradictions) of both the static and dynamic components of the specified… (More)
DOI: 10.1016/S0169-023X(01)00052-0

Topics

4 Figures and Tables

Cite this paper

@article{Formica2002ConsistencyOT, title={Consistency of the static and dynamic components of object-oriented specifications}, author={Anna Formica and Heinz Frank}, journal={Data Knowl. Eng.}, year={2002}, volume={40}, pages={195-215} }