Software Engineering for Large Software Systems

  • B. A. Kitchenham

Table of contents

  1. Front Matter
    Pages i-x
  2. John Dobson
    Pages 141-155
  3. Richard N. Hall
    Pages 196-208
  4. Sinclair G. Stockman
    Pages 209-219
  5. Richard H. Warden
    Pages 252-266
  6. Stephen Linkman, Lesley Pickard, Niall Ross
    Pages 281-304
  7. Ian Sommerville
    Pages 315-324
  8. Cydney Minkowitz
    Pages 325-344
  9. Back Matter
    Pages 367-373

About this book


These proceedings include tutorials and papers presented at the Sixth CSR Confer­ ence on the topic of Large Software Systems. The aim of the Conference was to identify solutions to the problems of developing and maintaining large software systems, based on approaches which are currently being undertaken by software practitioners. These proceedings are intended to make these solutions more widely available to the software industry. The papers from software practitioners describe: • important working systems, highlighting their problems and successes; • techniques for large system development and maintenance, including project management, quality management, incremental delivery, system security, in­ dependent V & V, and reverse engineering. In addition, academic and industrial researchers discuss the practical impact of current research in formal methods, object-oriented design and advanced environ­ ments. The keynote paper is provided by Professor Brian Warboys of ICL and the University of Manchester, who masterminded the development of the ICL VME Operating System, and the production of the first database-driven software en­ gineering environment (CADES). The proceedings commence with reports of the two tutorial sessions which preceded the conference: • Professor Keith Bennett of the Centre for Software Maintenance at Durham University on Software Maintenance; • Professor John McDermid of the University of York on Systems Engineering Environments for High Integrity Systems. The remaining papers deal with reports on existing systems (starting with Professor Warboys' keynote paper), approaches to large systems development, methods for large systems maintenance and the expected impact of current research.


Processing Software Engineering design embedded systems modeling operating system software architecture validation verification

Editors and affiliations

  • B. A. Kitchenham
    • 1
  1. 1.The National Computing CentreManchesterUK

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1990
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-6833-8
  • Online ISBN 978-94-009-0771-3
  • Buy this book on publisher's site