By Topic

Software, IEE Proceedings -

Issue 2 • Date Apr-Jun 1998

Filter Results

Displaying Results 1 - 7 of 7
  • Plastic transformations: a method for building dependable distributed applications

    Publication Year: 1998 , Page(s): 51 - 59
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (944 KB)  

    Distributed algorithms and the heuristics used by program derivation methods represent a large repository of fundamental knowledge that has been acquired over the years by the distributed computing community. Attempts to make this body of knowledge available to the broader community have been frustrating to say the least. The main thesis of the paper is that plastic transformations (a specialisati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Philosophical aspects of information systems [Book Review]

    Publication Year: 1998 , Page(s): 92
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (56 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.
  • Visualising action contracts in object-oriented modelling

    Publication Year: 1998 , Page(s): 70 - 78
    Cited by:  Papers (3)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (1320 KB)  

    In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on a recent proposal for constraint diagrams, a diagrammatic notation allowing the expression of such assertions. Constraint diagrams essentially provide a pictorial representation of navigation expressions, speci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • COO approach to support cooperation in software developments

    Publication Year: 1998 , Page(s): 79 - 84
    Cited by:  Papers (3)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (640 KB)  

    The COO system proposes a framework to organise the cooperation between developers of complex software systems. The key idea of COO is to base software process correctness on a safe transaction model: COO promotes an original advanced transaction model which integrates some general properties that define a very permissive core synchronisation protocol, and process specific knowledge that allows th... View full abstract»

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

    Publication Year: 1998 , Page(s): 85 - 91
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (632 KB)  

    Formal methods for describing programming language semantics are not widely used since they are not modular, extensible and reusable. In the paper, a new extensible and reusable approach for specifying programming languages with attribute grammars is presented. The concepts from object-oriented programming, templates and multiple inheritance, are integrated with attribute grammars. A template in a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Java's reliability: an analysis of software defects in Java

    Publication Year: 1998 , Page(s): 41 - 50
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (1164 KB)  

    The authors consider Java's claim to be a safe and reliable language. First, Java and the aims of the language are introduced and its relationship with C++ is briefly considered. The results of analysing a selection of the software bugs, limitations, weaknesses and flaws that have been found in Java (generically described as Java related defects) are then presented. This analysis is based on repor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constraint-oriented style for object-oriented formal specification

    Publication Year: 1998 , Page(s): 61 - 69
    Cited by:  Papers (2)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (968 KB)  

    The authors propose a specification style which combines the features and advantages of object-oriented and constraint-oriented system decomposition. A system description is decomposed into data handling objects, which usually reflect objects and individual operations in the real system, and temporal-ordering constraints, which capture aspects of functionality as behavioural sequences, with a poss... View full abstract»

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