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.

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.

Aims & Scope

Published from 1986-1996, Software Engineering Journal included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered reports on practical experience using software engineering methods and tools, and papers on long-term research activities.

Full Aims & Scope