By Topic

Software Engineering Journal

Issue 3 • Date May 1990

Filter Results

Displaying Results 1 - 6 of 6
  • Formal specification of data abstraction in FORTRAN 77: abstract arrays

    Publication Year: 1990, Page(s):151 - 159
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (692 KB)

    The emphasis of data organisation on the specification, design and implementation of large systems raises the question whether data abstraction may be applied to programming languages designed before the widespread use of such techniques. The data abstraction facilities available in FORTRAN 77 are considered and it is shown that encapsulation is possible for simple data structures. An abstract arr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scrabble-a distributed application with an emphasis on continuity

    Publication Year: 1990, Page(s):160 - 164
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (516 KB)

    Although a great deal of research has been carried out in the field of distributed applications. The authors present an account of one attempt to explore some of the problems which arise in actually implementing a substantial distributed application; in this case the board game Scrabble. Particular emphasis is placed on continuity, i.e. the ability of the application to continue executing despite ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The state dependency diagram

    Publication Year: 1990, Page(s):165 - 173
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (646 KB)

    The state dependency diagram (SDD) is presented as an improved model for entity life history states. Entity life histories (ELHs) are used in methods like SSADM and LSDM as a means of establishing the stages each entity occurrence goes through in its life, such as creation, deletion etc. However, ELHs are limited to describing states within one entity, whereas the state dependency diagram shows in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design and development of embedded Ada systems

    Publication Year: 1990, Page(s):175 - 184
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (838 KB)

    A description is given of how a combination of CSP and the me too method of software design can be used to formalise the early stages of the object-oriented development of embedded systems, including those with time constraints. Using the example of the watchdog timer, the author shows how a specification can be developed, exercised in a prototyping environment and then transformed into an outline... View full abstract»

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

    Publication Year: 1990, Page(s):185 - 191
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (666 KB)

    One of the major barriers to the introduction of reuse technology into the software development process is the absence of large repositories of reusable components from which manufacturers can build new generations of systems. Owing to the tremendous investment that has been made in developing systems, companies use an evolutionary approach to software development whereby the old version becomes t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A synthesis of object-oriented and functional ideas in the design of a distributed software engineering environment

    Publication Year: 1990, Page(s):193 - 204
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1158 KB)

    The provision of software engineering environments is seen as a major task facing computing. The authors focus on the design of an infrastructure (called Cosmos) to support software engineering environments. This infrastructure is carefully tailored to support the functionality required of a software engineering environment. Furthermore, the infrastructure assumes a distributed environment and imp... View full abstract»

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