Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

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
  • A language for implementing computational mechanics applications

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

    Existing computer systems and user interface command languages for application in computational mechanics have been so far mostly developed by applying traditional, non-OO techniques. As a consequence, they are often hampered by severe limitations in code extensibility, reusability, robustness and correctness and require excessive programming efforts in development, testing and maintenance. In ord... 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.
  • A CORBA based architecture for heterogeneous information source interoperability

    Publication Year: 1997, Page(s):33 - 49
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (936 KB)

    Computational environments are characterized by islands of information. Data is spread throughout the computational system nodes and is controlled by several different data management systems. However, application programs require an integrated view of such data. Thus, it is necessary to build bridges to connect these information islands. Heterogeneous database systems, especially those object-ori... 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.
  • A component framework for direct-manipulation editors

    Publication Year: 1997, Page(s):99 - 112
    Cited by:  Papers (1)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    Object-oriented software technology has some significant flaws that are addressed with component technology. The foundations of software component technology and the possible and useful kinds of software composition are still an open issue of ongoing research. After a clarification of important issues of component technology and component composition, we present an object-oriented component framew... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Attribute types and bracket implementations

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

    In an object oriented system, different types of objects may have one or more attributes in common. For example different types of objects in a library system might be “loanable” or “catalogued”. The first part of the paper introduces a distinction between object types and attribute types, showing that there are advantages in treating them as separate constructs of an objec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interactive analysis of object architectures

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

    Object oriented design notations represent application domains in terms of interacting classes where each class provides well defined services. During implementation of an object oriented design, the focus lies on individual classes rather than on groups of interacting classes. But individual classes usually implement only small, cohesive parts of system tasks. Important parts of algorithms behind... 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.
  • 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.
  • Programming in a CORBA Environment

    Publication Year: 1997, Page(s): 356
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (28 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.
  • “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.
  • Design patterns in garbage collection

    Publication Year: 1997, Page(s):80 - 98
    Cited by:  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    We describe several design patterns found in garbage collectors. The patterns we present are divided into two groups. The first group are two new design patterns: Rootset and TriColour that have been used in the garbage collection domain for up to 20 years. The second group of patterns are reported in the GoF book, such as Adapter, Facade, Iterator and Proxy, but we examine their use in the garbag... 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.
  • 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.
  • 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.
  • Open: A Third Generation OO Methodology- Advanced Tasks And Techniques

    Publication Year: 1997, Page(s):363 - 364
    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.
  • 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.
  • 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.
  • Applying Design Patterns

    Publication Year: 1997, Page(s): 355
    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.
  • Animating formal specifications using Java applets

    Publication Year: 1997, Page(s):196 - 209
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1092 KB)

    The paper proposes the generation of Java applets from specifications given in an extended Petri Net formalism. The anticipated advantages of this approach are to gain a greater confidence in the correctness of the final product, and to harness the capabilities of Java in a consistent framework. The emphasis of the paper is on the generation of the Java code from the Petri net specification, on th... 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.