Formal Software Development : From VDM to Java

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site. Cover......Page 1 Contents......Page 8 Preface......Page 12 1 High Integrity Software Development......Page 14 2 Propositional and Predicate Logic......Page 24 3 An Introduction to Specification in VDM-SL......Page 38 4 From VDM Specifications to Java Implementations......Page 58 5 Sets......Page 88 6 Implementing Sets......Page 106 7 Sequences......Page 124 8 Implementing Sequences......Page 138 9 Composite Objects......Page 148 10 Implementing Composite Objects......Page 164 11 Maps......Page 188 12 Implementing Maps......Page 202 13 Case Study Part 1: Specification......Page 218 14 Case Study Part 2: Implementation......Page 234 Index......Page 250 This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.