By Topic

Software Engineering Journal

Issue 3 • May 1987

Filter Results

Displaying Results 1 - 4 of 4
  • A model-based diagnostic program

    Publication Year: 1987, Page(s):54 - 63
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1382 KB)

    In this paper the author proposes that a suitable function for medical expert systems is to provide checklists for the practitioner. Using the Z specification language the author formalises the notion of using anatomical models to construct diagnostic programs and illustrates his ideas with reference to a neurological problem (that of determining the sites of lesions in the peripheral nervous syst... View full abstract»

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

    Publication Year: 1987, Page(s):64 - 70
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1045 KB)

    Software generators are important tools for software engineers. However, their usefulness is often diminished because of the poor readability of the generated code. By encouraging generator builders to give readability much higher priority, we aim to improve the usability of generators, and to encourage the uptake of formally based software engineering tools, particularly by those who feel less at... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of a model lift control system from a formal specification

    Publication Year: 1987, Page(s):71 - 79
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1136 KB)

    This paper describes the implementation of a model lift control system, based on a formal specification of lift behaviour. The purpose of the paper is to demonstrate the benefit of using formal specifications as the basis of an implementation, and to show how a control system can be produced using an integrated project support environment. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An abstract data-type technique for scientific software

    Publication Year: 1987, Page(s):80 - 84
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (635 KB)

    Numerical computation forms a substantial part of the total of world computing, and, as a result, large amounts of money are spent on the production, modification and maintenance of scientific software. A methodology based on an abstract data-type technique for algorithmic design has the potential to reduce numerical software development costs. This paper describes the abstract data-type developme... View full abstract»

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