Sciweavers

CAISE
2008
Springer
14 years 1 months ago
Validation of UML Conceptual Schemas with Operations
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
Anna Queralt, Ernest Teniente
ICTAI
1996
IEEE
14 years 3 months ago
Order in Space: A General Formalism for Spatial Reasoning
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
Baher A. El-Geresy, Alia I. Abdelmoty