By Topic

Software Engineering Journal

Issue 2 • Date Mar 1989

Filter Results

Displaying Results 1 - 7 of 7
  • Modelling programs by the notion of hypergraph

    Publication Year: 1989, Page(s):107 - 111
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (580 KB)

    Programs can be modelled by hypergraphs where the nodes of the hypergraph represent programming units, such as statements or operands/operators, and the edges contain units which are related to each other. This approach gives new insights into the measurement of programs, either by the fact that the well known measures of lines of code, cyclomatic complexity and program length in software science ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing in the program development cycle

    Publication Year: 1989, Page(s):95 - 106
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1396 KB)

    A program design methodology is presented that advocates the synthesis of tests hand-in-hand with the design at every stage of program development, and uses them for early detection of design flaws. Formal specifications are advocated at every stage of the development process. It is illustrated on an example that formalisation allows for a systematic derivation of black-box, design and abstract da... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling and validating office information systems: an object and logic oriented approach

    Publication Year: 1989, Page(s):87 - 94
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (840 KB)

    Developing information systems for the office environment of today requires powerful representation formalisms and techniques capable of modelling all office elements. Furthermore, these formalisms should provide appropriate facilities for the validation of a conceptual schema. It is argued that an office modelling approach should provide semantic account for the various aspects of the schema, as ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Layered implementations of persistent object stores

    Publication Year: 1989, Page(s):123 - 131
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1004 KB)

    The potential of persistent object stores as a replacement for filestores is identified. One of the obstacles to this happening is the lack of standardised object representations. The problems of standardisation are discussed and a 7-layer model proposed. A case is made out for using universal persistent identifiers to refer to persistent objects View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented design, Jackson system development (JSD) specifications and concurrency

    Publication Year: 1989, Page(s):79 - 86
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1000 KB)

    Object-oriented design facilitates the implementation of large systems, and is suitable for constructing concurrent systems. This paper shows that the Jackson system development (JSD) method caters for object-oriented specification of systems which can be suitably transformed for concurrent implementation using Ada and similar languages View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of Modula-2 for implementing a distributed kernel

    Publication Year: 1989, Page(s):115 - 122
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (888 KB)

    This paper gives an overview of the development of a distributed object-oriented kernel implemented in Modula-2. The underlying concepts of this kernel are first described. Its main feature consists in using task migration in order to achieve communication between distant nodes of the local network. Then, the implementation in Modula-2 is outlined. The authors emphasise the use of modules for impl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal description of the structure attribute model for tool interfacing

    Publication Year: 1989, Page(s):74 - 78
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (460 KB)

    The structure attribute (SA) model for tool interfacing is introduced and formally defined using the Z specification language. This model provides for a strongly typed interface but without the necessity of generic tools. An inheritance model is incorporated that links the defined types within an IPSE. A further classification of the SAs allows for the controlled application of tools such as edito... View full abstract»

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