By Topic

Software Engineering Journal

Issue 6 • Nov. 1991

Filter Results

Displaying Results 1 - 8 of 8
  • Change-oriented version descriptions in EPOS

    Publication Year: 1991, Page(s):378 - 386
    Cited by:  Papers (5)  |  Patents (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1009 KB)

    In EPOS, software configuration management is based on the change-oriented versioning model. As part of a configured system specification, a version description is used to select the desired versions of different components that constitute the product. Furthermore, version descriptions are used to specify which versions are affected by a certain change. For large software systems comprising many v... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software testing based on formal specifications: a theory and a tool

    Publication Year: 1991, Page(s):387 - 405
    Cited by:  Papers (53)  |  Patents (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1754 KB)

    A discussion is given on the problem of constructing test data sets from formal specifications. Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of satisfaction of the formal specification, it is shown how to select by refinements a practicable test set, i.e. computable, while not rejecting correct programs (unbiased) and accepting only correct programs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System development through the reuse of existing components

    Publication Year: 1991, Page(s):406 - 412
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (600 KB)

    The problems of successful software reuse have occupied the time of many researchers over the last ten years. The authors describe a field of research carried out at the University College of Wales, Aberystwyth, during the Alvey-funded Eclipse project. They describe the component description language developed to support reuse by modelling the interfaces that exist between related software compone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling and measurement of Prolog data

    Publication Year: 1991, Page(s):413 - 434
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1294 KB)

    In software technology, the need for measurement is well recognised, but it is proving difficult to devise measures that are unique, meaningful, objective and representative. A method is given for characterising inherent properties of static Prolog code and assigning to them values by measurement. The principal aim is to demonstrate that a model-based approach to measurement helps to ensure the qu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for immigrating existing software to new software development environments

    Publication Year: 1991, Page(s):435 - 453
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1536 KB)

    A discussion is given on the problem of immigrating software artifacts from one software development environment (SDE) to another, for the purpose of upgrading to new SDEs as technology improves, while continuing development or maintenance of existing software systems. The authors taxonomise the larger problem of data migration, to establish the scope of immigration. They classify SDEs in terms of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Communications: a software group productivity dominator

    Publication Year: 1991, Page(s):454 - 462
    Cited by:  Papers (3)  |  Patents (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (647 KB)

    Software group productivity can be dominated by many factors. A dominator is a single factor that causes productivity to decline ten-fold. The software productivity dominators discussed are design partition and communications. A model is developed to show the effect of intra-group communications on software group productivity, efficiency and group productivity speed up.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • EXPOSE: an animation tool for process-oriented specifications

    Publication Year: 1991, Page(s):463 - 475
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1137 KB)

    EXPOSE is an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes an input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilities of the Apple Macintosh HyperCard... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Propagating changes in algebraic specifications

    Publication Year: 1991, Page(s):476 - 486
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1060 KB)

    Controlling changes is an important problem in software development. By considering the problem as containing or propagating the ripple effects of an initial change throughout the inter-relations of products, one can formalise mechanisms to deal with the overall effects of a change. If we restrict ourselves to formal specifications based on algebraic methodologies, we can obtain a precise picture ... View full abstract»

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