Centre for Software Reliability

CSR Books

• CSR Publications
• Software Reliability and Metrics Club Publications
• Safety-Critical Systems Club Publications

CSR Publications

• Software Reliability Handbook - Elsevier, 1990
  edited by P. Rook, Centre for Software Reliability, City University, London, UK.
  This book provided a major reference work for the increasingly important area of quality assurance and reliability of computer systems.
  ISBN 1-85166-400-9 (Available from Chapman and Hall Limited)
• Software Metrics: A Rigorous Approach - Chapman & Hall Ltd., 1991.
  N. Fenton, Centre for Software Reliability, City University, London, UK.
  Software metrics is normally considered to be a collection of diverse, unrelated and often informal activities concerned with controlling, managing and predicting various aspects of software development processes. This book provides a coherent and rigorous framework for these diverse activities providing a unifying basis for the entire subject area. This framework is based on two simple concepts, namely a rigorous approach to measurement extracted from basic ideas in measurement theory and a classification of the entities of interest in software development in terms of products, processes and resources. The author explains the pitfalls associated with software measurement and indicates how these may be avoided. He shows how to develop and implement data collection and metrics strategies and how to set up experiments to validate metrics and models. Using the framework described above, the book demonstrates and analyses a range of software metrics and models. Numerous exercises and examples are included throughout the text.
  ISBN: 0 412 40440 0
  ISBN: 0 442 31355 1 (USA)
• Systems Construction and Analysis: A Mathematical and Logical Approach - McGraw Hill, 1992
  N. Fenton and G. Hill, City University, London, UK
  Text book that provides a comprehensive coverage of the discrete mathematics basis for computer science. Topics covered: models, systems, sets, relations, functions, graph theory, linear algebra, combinatorics, propositional calculus, predicate calculus, proof, formal languages, lambda calculus, formal specification, Z, VDM, formal verification, models of computations, graph models for structured programming, Petri nets, probability theory, algorithmic and computational complexity, coding theory, measurement theory.
  ISBN 0-07-707431-9
• Software Metrics: A Rigorous and Practical Approach - International Thomson Computer Press, 1996.
  N.E. Fenton and S.L. Pfleeger.
  As one of the first texts on software metrics, the first edition broke new ground by introducing software engineers to measurement theory, graph-theoretic concepts, and new approaches to software reliability. This second edition brings the coverage of software metrics fully up-to-date. The book has been comprehensively re-written and re-designed to reflect changing developments in software metrics, most notably their widespread acceptance in industrial practice. This edition stresses the original framework for software metrics, but emphasises its practical applications. Based on measurement theory and a classification of entities as products, processes and resources, the framework has been expanded to include notions of process visibility and goal-directed measurement. The theory is liberally illustrated with case studies and examples to illustrate the application of each idea and technique. The new edition also reflects classroom and industrial feedback about the first edition. Thus, the text now includes extensive case studies, and more worked examples and exercises. Every section of the book has been improved and updated, including new sections on process maturity and measurement, the Goal-Question-Metric paradigm, metrics planning, experimentation, empirical studies, object-oriented metrics, and metrics tools. The book continues to provide an accessible and comprehensive introduction to software metrics, now an essential facet of the software engineering process. The book is arranged in three parts. Part I offers the reader a basic understanding of why and how we measure. It examines and explains the fundamentals of measurement, experimentation, and data collection and analysis. Next, Part II explores software engineering measurement in greater detail, with comprehensive information about a range of specific metrics and their uses, illustrated by a wealth of examples and case studies. Finally, Part III provides a management perspective on software measurement, explaining how to plan a measurement program, what has been successful in other organisations, and how measurement can be used to evaluate the effectiveness of techniques and tools. The book also includes an annotated bibliography, a glossary, and answers to selected exercises from the main chapters.
  ISBN: 1-85032-275-9. Price £21.95.

[ top]

Software Reliability and Metrics Club Publications

The Annual CSR Conference Series:

• Software Requirements, Specification and Testing - Blackwell Scientific Publications, 1985.  (Out of print)
  edited by T. Anderson, Centre for Software Reliability, University of Newcastle upon Tyne, UK.
  This book provides a record of the first CSR workshop, held at the University of East Anglia in April 1984, on requirements definition, system specification and testing of computer software.
  ISBN 0-632-01309-5 
• Software Reliability: Achievement and Assessment - Blackwell Scientific, 1987. ú45.00    (Available from Alfred Waller Ltd)
  edited by B. Littlewood, Centre for Software Reliability, City University, London, UK.
  This book stems from the second CSR workshop which was held at the University of Keele in April 1985. The theme of the workshop was the achievement and measurement of software reliability.
  ISBN 0-632-01573-X
• Safe & Secure Computing Systems - Blackwell Scientific Publications, 1989   (Out of print)
  edited by T. Anderson, Centre for Software Reliability, University of Newcastle upon Tyne, UK.
  Proceedings of the third CSR workshop held at the Scottish Exhibition and Conference Centre Glasgow in September 1986. This book explores the similarities between problems and techniques for safety and security in computing systems, and shows how they have much in common which has not been fully recognised.
  ISBN 0-632-01819-4 
• Measurement for Software Control and Assurance - Elsevier, 1989. £55.00     (Available from Chapman & Hall Ltd)
  edited by B.A. Kitchenham and B. Littlewood, Centre for Software Reliability, City University, London, UK.
  Proceedings of the fourth CSR workshop held at the Watershed Media Centre, Bristol, in September 1987. This book provides tutorials on reliability assessement and software metrics for the novice, case studies on the practical use of metrics, and models for the software practitioner. The Annual CSR Workshop Series.
  ISBN 1-85166-246-4 
• Software Certification - Elsevier, 1989.  (Available from Chapman & Hall Limited)
  edited by B. de Neumann, Department of Mathematics, City University, London. UK.
  Proceedings of the fifth CSR workshop held at the Penta Hotel, Gatwick in September 1988. The aim of the conference was to provide a forum in which the current and future practices of the software certification process could be discussed and evaluated.
  ISBN 1-85166-380-0 
• Software Engineering for Large Software Systems - Elsevier.  £50.00     (Available from Chapman & Hall Ltd).
  edited by B.A. Kitchenham, Centre for Software Reliability, City University, London, UK.
  This book forms the proceedings of the sixth CSR workshop, which examined issues of reliability arising in large software systems, held at the Watershed Media Centre, Bristol in September 1989.
  ISBN 1-85166-504-8
• Software Reliability and Metrics - Elsevier, 1991.  £60.00   (Available from Chapman & Hall Ltd).
  edited by N. Fenton and B. Littlewood, Centre for Software Reliability, City University, London UK.
  This book is the edited Proceedings of the seventh CSR Workshop in Garmisch-Partenkirchen, Germany, 12-14 Sept. 1990. The following topics are dealt with: software metrics programme in industry; software quality assurance in Japan; management metrics; rule-based approach to software quality engineering; engineering approaches to software development; software dependability; predictably dependable computing systems; ESPRIT basic research action; software certification programme in Europe; SCOPE; METKIT; metrics education toolkit; software cost estimation; COSMOS; cost management with metrics of specification; software productivity evaluation model; software certification; and goal-oriented measurement
  ISBN 1-85166-675-3
  
• Quality Assurance, Testing and Software Metrics - Butterworth-Heinemann.  £20.00.
  Special Issue of Information and Software Technology, edited by Darrel Ince, Open University, UK.
  Proceedings based on the eighth CSR workshop held in Bath, September, 1991
  Vol.3 4 (10) Oct 1992 Butterworth-Heinemann pp 626-697.
  ISSN 0950-5849
  
• Reliability Engineering and System Safety - Elsevier
  edited by B Littlewood, T Anderson, R Bloomfield and R Malcolm, CSR, the City University, London, UK. Special Issue of the Journal: Reliability Engineering and System Safety, Vol. 43 (2) 1994. Selected papers from the ninth CSR workshop held in Luxembourg, April, 1992.
  Vol. 43 (2) 1994
  ISSN 0951-8320

Other Publications:

• Software Quality Assurance and Metrics: A Worldwide Perspective - International Thomson Computer Press, 1995. £35.00
  edited by N Fenton, the City University, London, UK, R Whitty, South Bank University, London , UK, and Yoshinori Iizuka, University of Tokyo, Japan. This book provides a comprehensive review of current leading edge industrial activities in software quality assurance and measurement. The carefully edited work contains contributions from many of the world's leading experts in the subject. The book is unique in its international coverage, and its insight into Japanese practice is possibly the most extensive ever published in the West,
  ISBN 1-85032-174-4
• Safety and Reliability of Software Based Systems - Springer-Verlag.  £48.00.
  edited by R Shaw, ERA Technology Ltd, London, UK. September 1995.
  ISBN 3-540-76034-2
• Software Evolution: Models and Metrics - Elsevier.
  edited by K Bennett, Durham University, UK. Special Issue of the Journal: Information and Software Technology, Vol. 38 (11) November 1996.

[ top]

Safety-Critical Systems Club Publications

• Safety-critical Systems - Current issues, techniques and standards - Chapman & Hall £29.95.
  edited by Felix Redmill and Tom Anderson. The 22 chapters in this book were invited from experts who gave presentations at Safety-critical Systems Club seminars during 1991 and 1992. The book is broad in scope and suitable for academics, experienced practitioners, and newcomers to the field. It is divided into five parts: Current Issues, Requirements and Specification, Education and Training, Lessons from the Medical Sector, and Current Development of Standards
  ISBN 0-412-54820-8
• Directions in Safety-critical Systems - Springer Verlag £29.95.
  edited by Felix Redmill and Tom Anderson. This is the proceedings of the Club’s Safety-critical Systems Symposium ‘93 held in Bristol in February 1993. The first day’s papers covered experience from around Europe and included a sociological view. The second day’s proceedings focused on collaborative research projects in the UK. The third day opened out to cover the achievement and evaluation of safety, and included papers on the relationship between safety and such other attributes as security and quality.     
  ISBN 3-540-19817-2
• Technology and Assessment of Safety-critical Systems - Springer Verlag £35.00.
  edited by Felix Redmill and Tom Anderson. The proceedings of the Club’s Safety-critical Systems Symposium ‘94, held at the Belfry, Birmingham in February 1994. The chapters on technology cover a broad range, including PLCs, formal methods, neural networks, knowledge-based systems, maintainability, Ada, and reverse engineering. There are also chapters on human factors and social issues, and a number on risk and safety assessment and management.
  ISBN 3-540-19859-8
• Achievement and Assurance of Safety - Springer Verlag £38.00.
  edited by Felix Redmill and Tom Anderson. The proceedings of the Club’s Safety-critical Systems Symposium ‘95, held at Brighton in February 1995. Chapters, all in the context of safety-critical systems and some reporting on collaborative projects, cover many topics, including risk analysis, neural networks, artificial intelligence, formal methods, robotics, PLCs, languages for safety-critical use, security, verification and validation, and incident analysis.
  ISBN 3-540-19922-5
• The Convergence of High Tech and Human Factors - Springer Verlag £38.00. 
  edited by Felix Redmill and Tom Anderson. The proceedings of the Club’s Safety-critical Systems Symposium ‘96, held at Leeds in February 1996. Seventeen Chapters, some by industrialists, some by academics, and some reporting on collaborative projects, cover a range of subjects: changing requirements, risk management, project management, legal issues, psychological perspectives, safety technology in industries such as motor and rail, hazard analysis, and others.
  ISBN 3-540-76009-1
• Safer Systems - Springer Verlag £42.00.
  edited by Felix Redmill and Tom Anderson. The proceedings of the Club’s Safety-critical Systems Symposium ‘97, held at Brighton in February 1997. The chapters cover a broad spectrum of issues affecting the safety of systems, from requirements analysis to assessment, from formal methods and artificial intelligence to human factors, from a philosophical appraisal to technology transfer. They touch on a number of industry sectors, but are restricted to none, since a key objective is the transfer of lessons between sectors.
  ISBN 3-540-76134-9
• Industrial Perspectives of Safety-critical Systems - Springer Verlag £44.00.
  edited by Felix Redmill and Tom Anderson. The proceedings of the Club’s Safety-critical Systems Symposium ‘98, held at Birmingham in February 1998. The first two chapters reflect the half-day tutorials held on the first day of the event, and the following 15 are contributed by the presenters of papers on the next two days. Overall, the chapters offer perspectives both of the topics which are considered by industry to be important of what is going on in industry with respect to them. Understanding these two perspectives can lead to better and swifter technology transfer and more focused research, both of which should be reflected, in time, in safer systems.
  ISBN 3-540-76189-6
• Towards System Safety - Springer Verlag £45.00.
  edited by Felix Redmill and Tom Anderson. The proceedings contains the invited papers presented at the seventh annual Safety-critical Systems Symposium, held in Huntingdon, February 1999. The papers bring together practitioners and researchers in a quest to inculate a higher degree of safety engineering into the development and operation of critical software-based systems. In particular, this volume explores recent work and experience which leads us further ‘towards system safety’.
  ISBN 1-85233-064-3
• Lessons in System Safety - Springer Verlag £49.50.
  edited by Felix Redmill and Tom Anderson. The papers in this volume are the full set presented at the eighth annual Symposium held at Southampton in February 2000, being from both industrial and academic institutions, all offer Lessons in System Safety.. The first two reflect a tutorial that was given on the first day. The subsequent fifteen papers were delivered in six sessions on the second and third days. The safety-critical systems domain is rapidly expanding, and its industrial problems are always candidates for academic research.
  ISBN 1-85233-249-2