Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover...
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
The object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-l...
详细信息
The object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-level procedural ones that are hard to program and debug. Logic programming allows computing problems to be expressed in a high-level declarative way, without giving instructions on how the problem is to be solved. However, logic programming lacks powerful methods to model applications. In the past few decades, the integration of object-oriented programming and logic programming has attracted a lot of interest, with a number of languages being proposed, but these languages fail to address some key object-oriented features properly. In this paper, we introduce a novel object-oriented logic programming language that supports nearly all key object-oriented features in a logic programming framework. We also describe its operational semantics.
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique...
详细信息
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique in which the specification and tests for a derived class are obtained incrementally from those of its base class.
Interface based fault injection testing (IFIT) is proposed as a technique to assess the fault tolerance of distributed objectsystems. IFIT uses the description of an object's interface to generate application dep...
详细信息
Interface based fault injection testing (IFIT) is proposed as a technique to assess the fault tolerance of distributed objectsystems. IFIT uses the description of an object's interface to generate application dependent faults. A set of application independent faults is also proposed. IFIT reveals inadequacies of the fault recovery mechanisms present in the application. The application of IFIT to different distributed objectsystems is described.
暂无评论