Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)

28-28 Nov. 1997

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)

    Publication Year: 1997
    Request permission for commercial reuse | |PDF file iconPDF (299 KB)
    Freely Available from IEEE
  • Enterprise Java

    Publication Year: 1997, Page(s):369 - 370
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (68 KB)

    Summary form only given, as follows. There has been a major focus in recent years on Java as a language for developers to build applets that operate on the WEB. Java is a fully object-oriented language that can be used to develop mainstream applications. This tutorial will concentrate on using Java to build reliable distributed applications for use on either intranet or internets. View full abstract»

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

    Publication Year: 1997, Page(s): 372
    Request permission for commercial reuse | |PDF file iconPDF (39 KB)
    Freely Available from IEEE
  • Concurrent Programming in Java: Language and Libraries

    Publication Year: 1997, Page(s): 371
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (24 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method dispatching and type safety for objects with multiple roles

    Publication Year: 1997, Page(s):286 - 296
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (604 KB)

    The association between an instance and a class is exclusive and permanent in many class based, object oriented database systems. Therefore, these systems have serious difficulties for applications in which objects take on different and multiple roles over time. Recently, some researchers have proposed the use of roles to tackle these problems. Although many of them have realized the importance an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extendibility vs. Substitutability in OO Languages

    Publication Year: 1997, Page(s): 368
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (32 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-Oriented Testing

    Publication Year: 1997, Page(s): 359
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (40 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Characterising patterns in framework development

    Publication Year: 1997, Page(s):121 - 142
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1140 KB)

    Patterns are investigated in relation to the development of applications and frameworks, and characteristics of patterns are presented in the context of analysis, design and implementation. The results are illustrated using a framework for virtual machines. The main conclusion is that different pattern characteristics can be identified in analysis, design, and implementation of applications and fr... View full abstract»

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

    Publication Year: 1997, Page(s):2 - 14
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (740 KB)

    Aspect oriented programming promotes the separation of the different aspects of a system into their natural form. Synchronisation is an important aspect of concurrent object-oriented systems, but treating synchronisation as a single monolithic aspect leads to inflexibility and limited possibilities for reuse. We suggest that synchronisation has a number of different aspects, and introduce the sync... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling multi-threading in Java

    Publication Year: 1997, Page(s):153 - 164
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (548 KB)

    We show how formal methods can be used to model multithreading in Java and provide useful insights into developing programs using multithreaded objects. In particular, we give an example of how deadlock can be avoided. The formalism used is that of action systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards the formalization of relationships for object modelling

    Publication Year: 1997, Page(s):267 - 283
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (912 KB)

    Relationships in object oriented models are evaluated based on a formal metamodelling approach. Various types of association and aggregation are discussed in detail as well as other relationships such as possession, containment and roles. Finally, recommendations on both semantics and notation are made for a modelling language such as OML View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introduction to the Unified Modeling Language

    Publication Year: 1997, Page(s): 354
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (32 KB)

    First Page of the Article
    View full abstract»

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

    Publication Year: 1997, Page(s): 367
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (44 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Class-based models in the π-calculus

    Publication Year: 1997, Page(s):238 - 251
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (616 KB)

    The π-calculus provides a formal foundation for processes with dynamic interaction structures, appropriate for modeling concurrent systems with changing network topologies, and mobile agents. Not surprisingly then, it has attracted the interest of researchers wishing to formalize models for concurrent object systems. To date, most such models have been object based. We present a class based mod... View full abstract»

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

    Publication Year: 1997, Page(s):357 - 358
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (60 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Patterns for finding objects within designs

    Publication Year: 1997, Page(s):113 - 120
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (444 KB)

    To design a program, first find your objects. Unfortunately, the right objects are not easy to find, and as a result most programs are not as well designed as they could be. This paper presents four patterns which describe how objects can be found within the designs of existing programs. By using these patterns, programs and designs can be made more simple, more general, and more easy to change View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Advanced C++ Programming Styles and Idioms

    Publication Year: 1997, Page(s): 352
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (48 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Practical Integration of Formality into the Software Process

    Publication Year: 1997, Page(s): 365
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (52 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented development based on polymorphism patterns and optimization to reduce executable code size

    Publication Year: 1997, Page(s):68 - 78
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (412 KB)

    This paper describes an object-oriented development method and an optimization method for embedded control systems. In embedded control systems development, specifications are changed frequently and there is strong constraint of memory. We present an object-oriented analysis and design method based on polymorphism patterns. Polymorphism patterns are standard of method interfaces which are shared b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • “self”-conscious objects in Object-Z

    Publication Year: 1997, Page(s):210 - 224
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (752 KB)

    Within the field of object oriented type theory, much attention has been devoted to the notion of self and Self-types. In contrast, relatively little attention has been paid to this topic in studies on object oriented specification language semantics. In the context of language semantics, the notion of self poses two problems. Firstly, it involves an awareness by an object of its own identity, and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Upscaling the CLOS inheritance mechanism for multidimensional objects

    Publication Year: 1997, Page(s):297 - 324
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1212 KB)

    The paper generalizes the linearization technique known in Lisp-based languages to multidimensional objects. A general principle is defined and applied to memory representations and methods. Linearization is done on a dimension-per-dimension basis. Such application, simplified in the case of representations, has to be complemented in the case of methods, first by a condition verified in practice a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design by Contract: Making Object-Oriented Programs that Work

    Publication Year: 1997, Page(s):360 - 361
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (44 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Java does not distribute

    Publication Year: 1997, Page(s):144 - 152
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (500 KB)

    Java is commonly considered the ideal language for implementing software for the Internet. A closer look, however, reveals that distributed programming is poorly supported in Java. This is because the very design of the language rules out distribution-transparent remote invocation. It is shown that Sun's technology for distributed Java programming, RMI, makes things worse by allowing two different... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparisons between CORBA IDL & COM/DCOM MIDL: interfaces for distributed computing

    Publication Year: 1997, Page(s):15 - 32
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (796 KB)

    The adoption of distributed computing has brought with it the problem of interoperability. Today, program developers need to interoperate over large and complex heterogeneous networks. Dealing with the interoperability problems that these networks can provide leads to increasing the complexity of the overall system. This complexity can be significantly reduced through the introduction of an interf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic generation of bridging code for accessing C++ from Java

    Publication Year: 1997, Page(s):165 - 180
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (924 KB)

    Java is becoming increasingly important as a programming language for applications based on the network centric computing paradigm. While more and more applications are written an Java, a large number of working C++ implementations for standard tasks still exist. Based on a domain model for language interoperability, the paper derives the structure of the necessary bridging code between C++ and Ja... View full abstract»

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