By Topic

Software Engineering Journal

Issue 4 • July 1991

Filter Results

Displaying Results 1 - 9 of 9
  • A C interpreter for Scheme-an exercise in object-oriented design

    Publication Year: 1991, Page(s):130 - 136
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (564 KB)

    Describes a production quality implementation of Scheme. Its design, and therefore the program, is based around objects although it is written in C, a language not specifically intended for object-oriented programming. This was a fortuitous choice as it allowed the author to recover from a design mistake that was not discovered until implementation time. Moreover, as he designed the program around... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HCLIE: a logic-based requirement language for new software engineering paradigms

    Publication Year: 1991, Page(s):137 - 151
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1160 KB)

    It is a paradigm of software engineering that a complete representation of the problem domain (called requirement theory) is repeatedly refined by correctness-preserving transformations into the program itself. The design of a requirement theory has to allow for such a design methodology. The authors argue that currently available languages intended to yield requirement theories fail to meet these... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for IS quality (information systems)

    Publication Year: 1991, Page(s):152 - 158
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (663 KB)

    Different concepts of software quality are reviewed and discussed in this paper. Based on this, a hierarchical model of information system (IS) quality concepts developed in the research project SOLE is presented. This model aims at a division of quality concepts consistent with the different decision makers and decisions made during the software life-cycle. The main division is into IS cost effec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CCS cast study: a safety-critical system

    Publication Year: 1991, Page(s):159 - 167
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (679 KB)

    A level-crossing control system is specified in the Calculus of Communicating Systems (R. Milner, 1980), motivated by a temporal logic specification of the safety requirements. The author shows that, with certain reservations, these can be satisfactorily stated entirely within CCS. The crossing system is divided into two smaller subsystems, which are shown to be equivalent to the original single s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The HCI component of dependable real-time systems

    Publication Year: 1991, Page(s):168 - 174
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (615 KB)

    The operator interface is an important aspect of any real-time system. If the system is a safety-critical one, the HCI components must themselves be dependable. Such applications constrain the time an operator has to assimilate and respond to system data. This paper focuses on the specific constraints these hard real-time applications present. Attention is focused on the interface between the appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Customers do not want frozen specifications

    Publication Year: 1991, Page(s):175 - 180
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (511 KB)

    A technique is described that has been used to introduce flexibility into the specification of an interactive computer system. For the most part, the specification is written in English, but the portion of interest here uses a graphical notation which has a precise meaning, yet can readily be understood by a non-specialist. This portion of the specification can easily be changed in a controlled ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Restructuring operations for data-flow diagrams

    Publication Year: 1991, Page(s):181 - 195
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1237 KB)

    When defining and designing software with structured analysis and design methods, one needs to restructure data-flow diagrams. Using basic editing operations to restructure large systems with voluminous data-flow diagrams is tedious, laborious and error-prone. It is necessary to have data-flow diagram editors that provide editing operations specific for restructuring. This paper proposes and forma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A behavioural semantics for Linda-2

    Publication Year: 1991, Page(s):196 - 204
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (597 KB)

    Presents a behavioural semantics for the language Linda, written in the specification language Z. The language defined is the dialect commonly referred to as Linda-2. Linda is a co-ordination language, and therefore has to be embedded in a computation language in order to produce a full parallel language. This specification attempts to be (as far as is possible) base language-independent, i.e. as ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From objects to classes: algorithms for optimal object-oriented design

    Publication Year: 1991, Page(s):205 - 228
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1749 KB)

    Introduces a novel, axiomatically defined, object-oriented data model called the Demeter kernel model; and secondly, presents abstraction and optimisation algorithms and their relationships for designing classes from objects in the kernel model. The authors analyse several computational problems underlying the class design process, which is divided into two phases; a learning phase and an optimisa... View full abstract»

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