By Topic

Software Engineering Journal

Issue 3 • Date May 1988

Filter Results

Displaying Results 1 - 3 of 3
  • Implementing SDL in occam

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

    The CCITT Specification and Description Language is widely accepted as a standard for use in the design of software in the telecommunications industry. The paper considers the implementation of this language on transputers using occam. This raises some common issues in the use of occam. The paper presents a novel implementation that demonstrates the performance gain that can be achieved through ju... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool support for requirements analysis

    Publication Year: 1988, Page(s):86 - 96
    Cited by:  Papers (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1246 KB)

    Describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The verification of low-level code

    Publication Year: 1988, Page(s):97 - 111
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1356 KB)

    The formal verification of low-level code is a problem largely ignored by the academic community although it is seen as a major problem in industry. The paper examines the problems associated with verification at this level and describes SPADE-8080, a verifiable sublanguage of the Intel 8080. It also shows how programs written in SPADE-8080 can be analyzed and formally verified with the SPADE soft... View full abstract»

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