Sciweavers

Share
DKE
2002

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

8 years 7 months ago
Consistency of the static and dynamic components of object-oriented specifications
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 models, that are often assumed to be consistent. In this paper, a unifying formal framework is proposed that allows the consistency checking of both the static and dynamic components of a simplified Object-Oriented model.
Anna Formica, Heinz Frank
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where DKE
Authors Anna Formica, Heinz Frank
Comments (0)
books