By Topic

Software Engineering Journal

Issue 5 • Sept. 1994

Filter Results

Displaying Results 1 - 4 of 4
  • Automated timing analysis of real-time programs

    Publication Year: 1994, Page(s):221 - 227
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (627 KB)

    ReStat is an interactive software tool for statically analysing the timing properties of real-time programs. Given a distributed program, a description of an architecture and a scheduling discipline, ReStat can be used to determine whether the implementation of the program on the architecture will meet a set of timing deadlines. The program may consist of a number of communicating processes and th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software engineering paradigm for program synthesis

    Publication Year: 1994, Page(s):213 - 220
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (703 KB)

    The past study of program synthesis has mainly concentrated on attempting to synthesise programs by duplicating human methods for constructing programs, such as top-down design. Here we do not attempt this process but instead use a simple method that is based on sound software engineering practice. Knuth-Bendix completion is used in the synthesis process but without the need for the exhaustive com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application-oriented real time algebra

    Publication Year: 1994, Page(s):201 - 212
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1046 KB)

    Many attempts have been made to define timed process algebras as a route to formal reasoning about real-time systems. We argue that existing timed process algebras unsuccessfully try to address all of the aspects which their untimed counterparts address (specification, design and modelling) whereas they would be more useful if they were restricted to one of these roles, Drawing on this, an applica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applicability of modified condition/decision coverage to software testing

    Publication Year: 1994, Page(s):193 - 200
    Cited by:  Papers (114)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (624 KB)

    Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision co... View full abstract»

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