By Topic

Software Engineering Journal

Issue 2 • Date March 1996

Filter Results

Displaying Results 1 - 8 of 8
  • Guidelines for the development of automotive software

    Publication Year: 1996, Page(s):76 - 81
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (534 KB)

    The Development Guidelines for Vehicle Based Software were launched in November 1994. These Guidelines represent the culmination of a three-year automotive industry research project carried out by the Motor Industry Software Reliability Association Consortium with support from the UK government. The intention of the Guidelines is to provide assistance to the automotive industry in the creation and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapier 2000 software development programme

    Publication Year: 1996, Page(s):82 - 87
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (600 KB)

    Experience shows that there is always substantial risk in major real-time software-intensive development programmes. The paper explains BAe's experience on the Rapier 2000 software development programme and relates that to a more general discussion on risk management. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Regulatory requirements for computerised systems in pharmaceutical manufacture

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

    The regulation of software systems in pharmaceutical manufacture has commercial implications for a global multi-billion pound market and potential personal significance for all users of pharmaceutical products. The paper discusses the relevant regulations, their application and interpretation. The most important initiative aimed towards increased understanding of the issues involved has been the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software development methods and tools: some trends and issues

    Publication Year: 1996, Page(s):99 - 103
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (584 KB)

    Rapid changes in hardware and software architecture are transforming the nature of application software systems, leading to upheaval in the methods and tools used to develop software. The paper offers a brief review of developments and dilemmas in the state and usage of structured and object-oriented methods, RAD, GUI design and software process management, and CASE tools and repositories. It note... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Executing formal specifications need not be harmful

    Publication Year: 1996, Page(s):104 - 110
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (877 KB)

    The various arguments that have been advanced for and against the use of executable specifications are reviewed. Examples are provided of the problems that may arise in applying this technique and of the benefits which may accrue. A case study is reported in which execution is used to validate the published specification of a commercially available package. It is concluded that there are circumsta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PCL: a language for modelling evolving system architectures

    Publication Year: 1996, Page(s):111 - 121
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1293 KB)

    The paper describes a language called PCL (Proteus Configuration Language), which has been designed to model the architecture of multiple versions of computer-based systems (system families). PCL has evolved from module interconnection languages, and its novel features include the ability to model the variability between members of a system family and facilities for the integrated modelling of har... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deadlock-free completely connected networks: towards a /spl pi/-calculus approach

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

    A very general communication protocol is presented, which enables communication, without danger of deadlock, in a class of networks of asynchronous processes that communicate synchronously, subject to certain fairness constraints on the individual node processes. Deadlock freedom is first proved using the process algebra CCS, but the proof uses the dynamic scoping of channels which is more natural... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in engineering quality into software

    Publication Year: 1996, Page(s):95 - 98
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (384 KB)

    The paper discusses the methods adopted to ensure that the operational software for the Channel Tunnel was delivered to a very high quality standard. The extent and complexity of the various computer systems developed for the Channel Tunnel makes it one of the largest current civil control engineering projects. Increasingly, transportation projects involve significant software content. It continue... View full abstract»

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