By Topic

Software Engineering Journal

Issue 6 • Date Nov. 1995

Filter Results

Displaying Results 1 - 7 of 7
  • Reliability estimation from appropriate testing of plant protection software

    Publication Year: 1995, Page(s):206 - 218
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1552 KB)

    Plant protection software may be realistically tested using inputs from a plant model before its initial use, or when it is not feasible to take the plant into certain fault conditions. If statistical estimation of software reliability is to be performed using the test results, it is not sufficient for the plant model to produce inputs which are simply correct in the sense that the plant could hav... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Backward error recovery via conversations in Ada

    Publication Year: 1995, Page(s):219 - 232
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1116 KB)

    An approach is proposed for using backward error recovery in Ada. The advantages and disadvantages of Ada are not discussed, nor are new run-time algorithms for Ada proposed, but a practical method is offered for using backward recovery and software diversity within this language. The authors believe that Ada has sufficient facilities to allow the use of software diversity to develop fault-toleran... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated FDT-based protocol verification system

    Publication Year: 1995, Page(s):233 - 244
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1278 KB)

    A communication protocol is a set of rules that govern interactions and co-ordination among communicating entities in distributed systems and computer networks. Therefore, deriving error-free protocols is crucial to ensure reliable distributed systems and computer networks. A protocol verification software tool to design error-free protocols is presented. The extended communicating finite state ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 'Engineering' the software in systems

    Publication Year: 1995, Page(s):253 - 265
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1366 KB)

    Describes a method and notation for designing the software in embedded and other reactive systems. The design method is described in the context of a structured life-cycle, which recognises both functional and non-functional requirements, and it is illustrated by application to a substantial example. Mainly, for reasons of reuse and maintenance, an object-oriented solution is an implementation goa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering: A Practitioner's Approach [Book Review]

    Publication Year: 1995, Page(s): 266
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (117 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering Journal 1994 (vol. 9) And 1995 (vol. 10) Author Index

    Publication Year: 1995, Page(s):267 - 268
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (124 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Approach to constructing software unit testing tools

    Publication Year: 1995, Page(s):245 - 252
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (672 KB)

    Software unit testing studies how to test a portion of a program, called a software unit, which may be a procedure, a function or a collection of procedures or functions. Automated test drivers have been used to control the execution of the unit under test. When using test drivers, software stubs need to be constructed to replace all procedures called by the unit under test as the unit has been is... View full abstract»

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