Springer

Elizabeth Hull, BSc, PhD, CEng, FBCS
School of Computing and Mathematics, University of Ulster,
Newtownabbey, Co Antrim, UK

Kenneth Jackson, BSc, MSc, MBCS
Telelogic UK Ltd, Oxford, UK

Jeremy Dick BSc(Eng), ACGI, DPhil, DIC, MA
Telelogic UK Ltd, Oxford, UK

British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library

Library of Congress Cataloging-in-Publication Data
A catalog record for this book is available from the Library of Congress

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.

ISBN 1-85233-879-2 Springer London Berlin Heidelberg
Springer Science+ Business Media
http://www.springeronline.com

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...