By Topic

Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on

Date July 29 2001-Aug. 3 2001

Filter Results

Displaying Results 1 - 25 of 32
  • 39 th International Conference And Exhibition On Technology Of Object-oriented Languages And Systems [front matter]

    Publication Year: 2001, Page(s):i - xi
    Request permission for commercial reuse | PDF file iconPDF (300 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2001, Page(s):437 - 438
    Request permission for commercial reuse | PDF file iconPDF (65 KB)
    Freely Available from IEEE
  • Pluto: an object-oriented logic programming language

    Publication Year: 2001, Page(s):153 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB) | HTML iconHTML

    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 ho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BTOZ: a formal specification language for formalizing business transactions

    Publication Year: 2001, Page(s):240 - 252
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB) | HTML iconHTML

    Business rules are statements constraining business actions, they are context dependent, and may remain unchanged over a long period of time. The dynamic application of business rules to business actions requires a clear separation of the actions from the rules so that changes to business rules can be done without affecting the actions on which they are applied. In addition, rules can also be appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing dynamic language features in Java using dynamic code generation

    Publication Year: 2001, Page(s):143 - 152
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB) | HTML iconHTML

    Compared to dynamic object-oriented languages like CommonLisp or Smalltalk, Java has a fairly simple and restrictive object and type system. Some of the key differences between Java and these other languages are that they offer structural conformance, automatic delegation and dynamic mix-ins. When such constructs are needed in a language like Java, they are usually expressed in terms of standard o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for QoS management

    Publication Year: 2001, Page(s):183 - 193
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB) | HTML iconHTML

    Quality of service (QoS) becomes an important issue as systems become more open and therefore less predictable. In such contexts, it is difficult, using static approaches, to ensure that a system will provide the expected QoS. In dynamic approaches, services are adapted to provide the best QoS according to the execution context. This article describes an object-based framework to deal with QoS in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented concepts for modular robotics systems

    Publication Year: 2001, Page(s):229 - 238
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB) | HTML iconHTML

    Describes how object-oriented concepts can be exploited in the design of modular robot systems. The approach is motivated in particular by the observation that, when sensors or end-effectors are mounted on mobile bases or at the end of manipulator arms, they can be said to acquire, or `inherit', motion functionality. Other aspects of modular robotics systems similarly afford parallels with other o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A domain-language approach to designing dynamic enterprise component-based architectures to support business services

    Publication Year: 2001, Page(s):130 - 141
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB) | HTML iconHTML

    Presents solutions to a major subset of problems facing component-based development and integration (CBDI). These solutions include patterns, techniques, design artifacts and activities across what we have identified as the five domains of CBDI, namely: organizational, methodological, architectural, technology implementation and infrastructure. We present a taxonomy of CBDI domains that transcends... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Virtual Laboratory-agent-based resource sharing system

    Publication Year: 2001, Page(s):89 - 98
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB) | HTML iconHTML

    In this study, we extend the concept of distance education and our Virtual Classroom (VC) with adding a new service, that we call Virtual Laboratory (VL). While the VC represents an interface between the students and a virtual professor and provides personalized learning materials to the users, the VL offers a possibility to the attendees to share different resources out of time and space boundari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detecting design flaws via metrics in object-oriented systems

    Publication Year: 2001, Page(s):173 - 182
    Cited by:  Papers (29)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB) | HTML iconHTML

    The industry is nowadays confronted with large-scale monolithic and inflexible object-oriented software. Because of their high business value, these legacy systems must be re-engineered. One of the important issues in re-engineering is the detection and location of design flaws, which prevent the efficient maintenance and further development of the system. In this paper, we present a metrics-based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

    Publication Year: 2001, Page(s):14 - 23
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB) | HTML iconHTML

    Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the Contract Wizard, which aims at providing .NET ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On ODMG data types

    Publication Year: 2001, Page(s):219 - 228
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB) | HTML iconHTML

    The ODMG (Object Data Management Group) standard for object data management systems consists of an object model for modeling applications, an object definition language (ODL) for defining database schemas, and an object query language (OQL) for writing queries. We present a formal system to specify the data types that can be defined in an ODL database schema and analyze the data types required by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual component composition using composition patterns

    Publication Year: 2001, Page(s):120 - 129
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB) | HTML iconHTML

    We improve current visual component composition environments by introducing composition patterns as first class objects that can be defined, stored and reused independently of the components. We document both components and composition patterns using an extended sequence diagram notation. For a component, typical usage protocols are specified while a composition pattern specifies how a set of role... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements-based testing: an overview

    Publication Year: 2001, Page(s):286 - 295
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB) | HTML iconHTML

    The article provides an overview of the requirements based testing (RBT) process and an overview of CaliberRBT, the tool that supports the RBT process. The intended audience for the paper is project managers, development managers, developers, test managers and test practitioners who are interested in understanding requirements based testing and how it can be applied to their organization View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separation of data and presentation for the next generation Internet using the four-tier architecture

    Publication Year: 2001, Page(s):83 - 88
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB) | HTML iconHTML

    As the Internet is fast becoming a network of variety types of content accessed by a multitude of devices as well as the personal computer, software and systems design is beginning to once again change dramatically. We explore the state of content and architecture on the Internet, where it is today and where it is going. Subsequently, we introduce the concept of the presentation server and its rol... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metric framework for object-oriented development

    Publication Year: 2001, Page(s):164 - 172
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB) | HTML iconHTML

    Metrics (quantitative estimates of product and project properties) can, if defined from sound engineering principles, be a precious tool for both project management and software development. We have recently developed an extensive set of metrics facilities for the Eiffel/Studio development environment. We describe the principles on which it is the based, the facilities it provides and how to use t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extensions of standard Z refinement relation for multiple viewpoints oriented requirements method

    Publication Year: 2001, Page(s):253 - 262
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB) | HTML iconHTML

    The authors extend the standard Z refinement relation for the multiple viewpoint oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement to be inadequate or incorrect when considering specifications that have temporal relationships of operations. We do our work under a generic framework of MVORM. The concept of temporal state variables is introduced... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessment of maintainability in object-oriented software

    Publication Year: 2001, Page(s):194 - 205
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB) | HTML iconHTML

    In software industrial practice, the high cost of the maintenance process for large-scale software has placed emphasis on the need to manage the maintainability in earlier phases of the software life-cycle. This paper discusses the applicability of architectural complexity measures to managing the complexity in the software maintenance phase and the reliability of the maintenance process. It also ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic data mining by asynchronous parallel evolutionary algorithms

    Publication Year: 2001, Page(s):99 - 106
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB) | HTML iconHTML

    How to discover high-level knowledge modeled by complicated functions, ordinary differential equations and difference equations in databases automatically is a very important and difficult task in KDD research. In this paper, high-level knowledge modeled by ordinary differential equations (ODEs) is discovered in dynamic data automatically by an asynchronous parallel evolutionary modeling algorithm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simple support for design by contract in C++

    Publication Year: 2001, Page(s):24 - 34
    Cited by:  Papers (5)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB) | HTML iconHTML

    Design by contract can be seen as an advanced software engineering technique for building quality software in a professional environment or as a fundamental programming concept, useful even for elementary programming. If design by contract is an afterthought, sophisticated tool support, with macros, preprocessors or patterns is acceptable. If it is to be used from the very first programs, it must ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using design patterns and constraints to automate the detection and correction of inter-class design defects

    Publication Year: 2001, Page(s):296 - 305
    Cited by:  Papers (18)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB) | HTML iconHTML

    Developing code free of defects is a major concern for the object oriented software community. The authors classify design defects as those within classes (intra-class), those among classes (inter-classes), and those of semantic nature (behavioral). Then, we introduce guidelines to automate the detection and correction of inter-class design defects. We assume that design patterns embody good archi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Natural-language processing support for developing policy-governed software systems

    Publication Year: 2001, Page(s):263 - 274
    Cited by:  Papers (6)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB) | HTML iconHTML

    Organizations are policy-driven entities. Policy bases can be very large and the relationships between policies can be complex. In addition, policy can change on a frequent basis. Checking for gaps in policy or analyzing the ramifications of changing policy is necessary to both identify and rectify gaps or unintended policy prior to the policy base being refined into requirements for a system. A p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic evolution and consistency of collaborative configurations in object-oriented databases

    Publication Year: 2001, Page(s):207 - 218
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB) | HTML iconHTML

    Discusses design evolution support using the semantic extension of versions of a configuration that is composed of a set of component objects. The notion of transient, working and released versions of a simple object is extended to transient, working and released versions of a configuration. We look at how the consistency between a configuration version and its components' versions can be maintain... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A three-view model for developing object-oriented frameworks

    Publication Year: 2001, Page(s):108 - 119
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB) | HTML iconHTML

    This paper describes a three-view model for developing object-oriented frameworks. We propose a new methodology based on this model, and demonstrate its effectiveness using an example of practical industrial applications. This model can lead software engineers to a framework that has high reliability, portability, and maintainability. These quality factors of applications are especially important ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based incremental testing of object oriented systems

    Publication Year: 2001, Page(s):35 - 44
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB) | HTML iconHTML

    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 View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.