A graphical model for describing schemes and instances of object-databases and a
graphical data manipulation language based on pattern matching, called PaMaL, are …

Abstract Information sources over the WWW contain a large amount of data organized
according to different interests and values. Thus, it is important that facilities are there to …

Semantic data specifications are important components of most object oriented software
development methodologies. When making a semantic data specification, one has to …

Object-oriented analysis methods can incorporate the concept of constraints to express rules
of the problem domain in the specification model, restricting the possible instances of the …

Canonical forms for data-specifications Page 1 Canonical Forms for Data-Specifications Frank
Piessens* and Eric Steegmans Department of Computer Science, Katholleke Universiteit Leuven …

This paper introduces some of the literature on object-oriented analysis and design,
concentrating on the study of object-oriented development methods. It outlines both regular …

The driving force in object-oriented analysis to use the concept of specialization/
generalization is polymorphism: the capability and need to reason about the union of the …

This paper describes a semi-automatic transformation from object-oriented conceptual
models to logical theories. By associating a logical theory with a conceptual model, we are …

More than two decades ago, Peter Freyd introduced essentially algebraic specifications, a
well-behaved generalization of algebraic specifications, allowing for equational partiality …

This report is an introduction to object-oriented software development by means of the
EROOS method, developed at the Department of Computer Science of the KU Leuven. A …