By Topic

Software Engineering Journal

Issue 3 • May 1989

Filter Results

Displaying Results 1 - 5 of 5
  • The management of risk in system development: Project SP and the New Spiral Model

    Publication Year: 1989, Page(s):134 - 142
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (868 KB)

    The article discusses the development of complex products, with a particular emphasis on software, and focuses on the problem of how to manage the risks in the development process. A number of models of the development process are described including Boehm's Spiral Model, which has risk management as a central theme. An example is described where Boehm's Spiral Model has been tried. The strengths ... View full abstract»

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

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

    Software development standards available in the public domain are reviewed. The principal organisations involved, and the processes that take place in the production of standards, are described. The major standards of interest in the development of software are identified.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An extended algebra for the validation of communication protocols

    Publication Year: 1989, Page(s):148 - 158
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (902 KB)

    This paper presents a simple algebra for the validation of communication protocols modelled as state-transition systems. It is based on an original extension to the Protocol validation algebra by Holzmann (1982), enhanced with additional facilities such as operators for handling parallelism among communicating processes and rules for obtaining the specification of a composed process from those of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for teaching programming with reuse

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

    A framework is proposed for introducing reusable programming as an engineering methodology in a typical programming class. The requirements of the teaching framework include a program design language a code-frame-driven implementation strategy of the design and a presentation approach which is software-domain specific. Reusable design fragments are defined and tools are provided to assist students... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimenter tool for an integrated modelling support environment-its role and design

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

    Performance modelling and estimation of computer systems is a vital facility for any software engineer. Thus any computer-aided software engineering environment should contain tools to support this. The need to provide tools to support systematic experimentation with performance models is examined and a solution is discussed, building on the idea of an experimental frame, originally introduced by ... View full abstract»

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