By Topic

Software Engineering Journal

Issue 4 • Date July 1995

Filter Results

Displaying Results 1 - 4 of 4
  • A software design framework or how to support real designers

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

    The problems inherent in capturing a designer's ideas about software provide a major difficulty for software development. In the paper, both observed designer practices and the procedural forms that are embodied in software design methods are examined. From these an integrated set of representation forms is proposed that can be used with an opportunistic design strategy. The features necessary for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer-aided validation of formal specifications

    Publication Year: 1995, Page(s):133 - 140
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (751 KB)

    As the use of formal specification techniques becomes more widespread, it becomes more important than ever to ensure that the formal specification of a system is a faithful representation of the system's requirements. CASE tools can help with this problem by performing mechanical analysis of the specification. The paper describes the scope and limitations of one such tool for the specification lan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Database design by computer-aided schema transformations

    Publication Year: 1995, Page(s):125 - 132
    Cited by:  Papers (2)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (683 KB)

    The focus of the paper is schema transformation during the development of an information system. A framework is described for conversion and transformation of conceptual (semantic) data models and their internal (machine-oriented) representations. This framework allows us to 'walk' through the solution space of candidate internal representations for a given conceptual data model. This walk may be ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Review of heuristics for generalisation

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

    Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are examined. The applicability of heuristics for generalisation is also examined, and it is shown that the kind of examples on which some of the heuristics w... View full abstract»

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