By Topic

Software Engineering Journal

Issue 4 • Date July 1988

Filter Results

Displaying Results 1 - 4 of 4
  • A pictorial approach to the animation of process-oriented formal specifications

    Publication Year: 1988, Page(s):114 - 118
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (445 KB)

    Considers how the meaning of process-oriented formal specifications might be made more apparent through the use of pictorial animation. The approach taken is based on techniques embodied in the software animation system PEEP. The PEEP system gives pictorial representations of the changing states of software as it is executed. It was designed for concurrent applications expressed in a modular multi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A programming environment for Modula-2

    Publication Year: 1988, Page(s):119 - 126
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (883 KB)

    Modula-2 was designed as a successor to Pascal. It provides similar facilities for the description of algorithms and data structures, but differs radically from Pascal in allowing the composition of programs from separately compiled modules in a carefully controlled way. The paper recounts some experiences with implementing the languages for a variety of computers, and describes a collection of to... View full abstract»

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

    Publication Year: 1988, Page(s):127 - 133
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (596 KB)

    Deals with executable descriptions of systems. The prime motivation is to show that functional programming languages are useful in software engineering practice. All kinds of systems, either with or without a state, can be modelled in a simple way. An attempt is made to devise executable models that are amenable to mathematical proofs. Apart from testing, proving is a viable technique for establis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structured planning-project views

    Publication Year: 1988, Page(s):134 - 140
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (525 KB)

    The quality of software products may be improved by enhancing the performance of any of the varied activities associated with the production of the software. One such activity is project planning. Project planning may be a small part of the total project effort, but will have a large effect on all activities in the project and, therefore, a major impact on the final software quality. Thus the cost... View full abstract»

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