By Topic

Software Engineering Journal

Issue 4 • Date Jul 1995

Filter Results

Displaying Results 1 - 4 of 4
  • Review of heuristics for generalisation

    Publication Year: 1995 , Page(s): 118 - 124
    Click to expandAbstract | PDF file iconPDF (436 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.
  • Database design by computer-aided schema transformations

    Publication Year: 1995 , Page(s): 125 - 132
    Cited by:  Patents (1)
    Click to expandAbstract | PDF file iconPDF (568 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.
  • Computer-aided validation of formal specifications

    Publication Year: 1995 , Page(s): 133 - 140
    Click to expandAbstract | PDF file iconPDF (624 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.
  • A software design framework or how to support real designers

    Publication Year: 1995 , Page(s): 141 - 155
    Cited by:  Papers (1)
    Click to expandAbstract | PDF file iconPDF (1056 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.