Sciweavers

745 search results - page 19 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
IFM
2000
Springer
15 years 1 months ago
ISpec: Towards Practical and Sound Interface Specifications
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
H. B. M. Jonkers
DEXAW
2007
IEEE
153views Database» more  DEXAW 2007»
15 years 4 months ago
Enhancing Ontology Concept Design by Knowledge Discovery
In this paper, we propose a knowledge discovery-based approach to ontology concept design. In our approach, concept design is a stepwise activity which exploits ontology matching ...
Silvana Castano, Alfio Ferrara
FMOODS
2006
14 years 11 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
DEXAW
2003
IEEE
110views Database» more  DEXAW 2003»
15 years 3 months ago
Towards an Autonomic Computing Environment
Autonomic Computing is a promising new concept in system development. It aims to (i) increase reliability by designing systems to be self-protecting and self-healing; and (ii) inc...
Roy Sterritt, David W. Bustard
OODBS
2000
147views Database» more  OODBS 2000»
15 years 1 months ago
Towards a Unified Query-by-Example (UQBE): UML as a Basis for a Generic Graphical Query Language
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
Miguel Ángel Sicilia Urbán, Elena Ga...