Mathematical Approaches to Software Quality
The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensi
- PDF / 3,135,465 Bytes
- 243 Pages / 325.984 x 520.313 pts Page_size
- 38 Downloads / 194 Views
Gerard O’Regan
Mathematical Approaches to Software Quality With 52 Figures
Gerard O’Regan, BSc, MSc, PhD 11 White Oaks, Mallow, Co. Cork, Ireland [email protected]
British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2005935914 ISBN-10: 1-84628-242-X ISBN-13: 978-1-84628-242-3
Printed on acid-free paper
© Springer-Verlag London Limited 2006 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licences issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Printed in the United States of America 9 8 7 6 5 4 3 2 1 Springer Science+Business Media springer.com
(SPI/EB)
To the memory of Con and Eily O’Regan (Too dearly loved to be forgotten)
Preface
Overview The objective of this book is to provide a comprehensive introduction to mathematical approaches that can assist in achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided, as well as a discussion of the various mathematical methods that are used in academia and (to varying degrees) in industry. The mathematical approaches considered here include the Z specification language; the Vienna Development Method (VDM); the Irish school of VDM (VDMƅ); the axiomatic approach of Dijkstra and Hoare; the classical engineering approach of Parnas; the Cleanroom approach developed at IBM; software reliability, and the unified modeling language (UML). Finally, the challenge of technology transfer of the mathematical methods to industry is considered. The book aims to explain the main features of the mathematical approaches to the reader, and to thereby assist the reader in applying these methods to solve practical problems. The chapter on technology transfer presents an overview of how these technologies may be transferred to industry, and includes a discussion on the usability of formal methods and pilots of formal methods.
Organization and Features Chapter 1 provides an introduction to an engineering approach to software development using mathematical techniques. A review of the more popular formal methods is presented. These include the model-o
Data Loading...
