Sciweavers

2825 search results - page 57 / 565
» Support for Object-Oriented Testing
Sort
View
JUCS
2008
149views more  JUCS 2008»
13 years 10 months ago
Binary Methods Programming: the Clos Perspective
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
Didier Verna
DEBU
2002
120views more  DEBU 2002»
13 years 9 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
INFSOF
2002
72views more  INFSOF 2002»
13 years 9 months ago
Translating object-oriented database transactions into relational transactions
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
Joseph Fong
JUCS
2002
146views more  JUCS 2002»
13 years 9 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
ECOOPW
1999
Springer
14 years 2 months ago
Tool Support for Refactoring Duplicated OO Code
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
Matthias Rieger, Stéphane Ducasse, Georges ...