By Topic

Software Engineering Journal

Issue 4 • July 1992

Filter Results

Displaying Results 1 - 7 of 7
  • Acquisition, organisation and reuse of software design knowledge

    Publication Year: 1992, Page(s):238 - 246
    Cited by:  Papers (1)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (750 KB)

    The paper addresses the acquisition, organisation and reuse of knowledge in the design of real-time software systems. Experiences from capturing and making explicit software design alternatives and their selection criteria are evaluated. Generic, software design task-specific and domain-specific types of knowledge are discussed and illustrated using real-life design examples. A prototype of a CASE... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology for deriving an object-oriented design from functional specifications

    Publication Year: 1992, Page(s):247 - 263
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1394 KB)

    A recent paradigm in software engineering is object-oriented software development. However, object-oriented methods still remain ad hoc, and the process of deriving an object-oriented design from the.early analysis has not yet been formalised. The authors advocate deriving a formal specification from informal requirements, conducting static analysis on the formal functional specifications to reaso... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software development: two approaches to animation of Z specifications using Prolog

    Publication Year: 1992, Page(s):264 - 276
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1085 KB)

    Formal methods rely on the correctness of the formal requirements specification, but this correctness cannot be proved. This paper discusses the use of software tools to assist in the validation of formal specifications and advocates a system by which Z specifications may be animated as Prolog programs. Two Z/Prolog translation strategies are explored; formal program synthesis and structure simula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software development post-mortem summary

    Publication Year: 1992, Page(s):277 - 284
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (790 KB)

    Software development requires the integration of many concepts and activities. The authors look at five key elements: people, functions, schedule, tools and processes. These five elements and their dynamics are discussed in the context of a business applications project. This analysis is performed in the spirit of a project post-mortem, as encouraged by T.K. Abdel-Hamid and S.E. Madnick (1990). It... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental evaluation of a symbolic execution system

    Publication Year: 1992, Page(s):285 - 290
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (450 KB)

    The author describes a symbolic execution system that assists in the construction of test data and the detection of program errors. The system automatically generates a subset of all possible execution paths in the program, according to a certain path selection criterion. It symbolically executes each one of these paths and creates conditions on input variables that cause the path to be executed. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software reliability growth model for an error-removal phenomenon

    Publication Year: 1992, Page(s):291 - 294
    Cited by:  Papers (16)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (276 KB)

    The authors develop a software reliability growth model based on the non-homogeneous Poisson process, under the assumption that the detection of these errors can also cause the detection of some of the remaining errors without these errors causing any failure. Using the expected number of errors thus detected, the authors obtain the mean value function describing the failure phenomenon. Parameters... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semi-automatic test suite generation from Estelle

    Publication Year: 1992, Page(s):295 - 307
    Cited by:  Papers (2)  |  Patents (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1123 KB)

    Overviews of the standard formal specification language Estelle and test suite specification language TTCN are provided. Steps involved in semi-automatic generation of TTCN test suites from Estelle are introduced. Details of TTCN test step generation from Estelle transitions are explained. Test cases are obtained from these test steps by way of ordering them using the control flow graph. The imple... View full abstract»

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