By Topic

Software Engineering Journal

Issue 6 • Date Nov 1991

Filter Results

Displaying Results 1 - 8 of 8
  • A framework for immigrating existing software to new software development environments

    Page(s): 435 - 453
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1316 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 the ease of immigrating software artifacts from the data repository of the source SDE, without knowledge of its internal representation. A framework is presented for constructing automatic immigration tools as utilities provided by destination SDEs. They describe a specific immigration tool, called Marvelizer, implemented as part of the Marvel SDE and discuss experience using the tool 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

    Page(s): 454 - 462
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (540 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.
  • Change-oriented version descriptions in EPOS

    Page(s): 378 - 386
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (864 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 variants, building a consistent configuration meeting specified requirements is not an easy task. The authors propose a set of version description mechanisms and exemplify their use. An abstract description specifying the desired properties and functional requirements is expanded, using validities characterising properties of versions, preferences and defaults 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

    Page(s): 406 - 412
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (504 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 components. Support for the language is given in the form of a graphical representation, which it is believed will help speed up system development 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

    Page(s): 463 - 475
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (976 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 system. EXPOSE has been implemented experimentally for LOTOS, but most of the animation concepts and techniques described are relevant to other process-oriented languages, such as CCS and CSP 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

    Page(s): 387 - 405
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1484 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 (valid), when assuming certain hypotheses. The hypotheses play an important role; they formalise common test practices and they express the gap between the success of the test and correctness; the size of the test set depends on the strength of the hypotheses. The authors show an application of this theory for algebraic specifications and present the actual procedures used to mechanically produce such test sets, using Horn clause logic. These procedures are embedded in an interactive system, which, given some general hypothesis schemes and an algebraic specification, produces a test set and the corresponding hypotheses 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

    Page(s): 413 - 434
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1092 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 quality of measures. The authors propose a model of the data entities in Prolog program texts, together with the model of the constructors that combine them into complete programs. The model-based measurement system presented characterises data entities by a six-tuple, and composes six-tuples to yield measures of complete programs or their parts. Model-based measurement ensures that the meaning of the measures is explicit 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

    Page(s): 476 - 486
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (876 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 of the changes in semantics as well as those in syntax. This line of investigation produces detailed requirements for, and even designs of, an environment that incorporates algebraic specification methodologies View full abstract»

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