Developing Java Software
β Russel Winder, Graham Roberts
π Library
π
2000
π Wiley
π English
β¦ LIBER β¦
π
Formal Software Development: From VDM to Java
β Scribed by Quentin Charatan, Aaron Kans
- Publisher
- Palgrave Macmillan
- Year
- 2003
- Tongue
- English
- Leaves
- 253
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
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
π SIMILAR VOLUMES
VDM'91 Formal Software Development Metho
β Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.)
π Library
π
1991
π Springer-Verlag Berlin Heidelberg
π English
<p>The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored
VDM'91 Formal Software Development Metho
β Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.)
π Library
π
1991
π Springer-Verlag Berlin Heidelberg
π English
<p>The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored
VDM '90 VDM and Z β Formal Methods in So
β Ole-Johan Dahl (auth.), D. BjΓΈrner, C. A. R. Hoare, H. Langmaack (eds.)
π Library
π
1990
π Springer-Verlag Berlin Heidelberg
π English
<p>The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering pro
VDM '90 VDM and Z β Formal Methods in So
β Ole-Johan Dahl (auth.), D. BjΓΈrner, C. A. R. Hoare, H. Langmaack (eds.)
π Library
π
1990
π Springer-Verlag Berlin Heidelberg
π English
<p>The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering pro
VDM '91 Formal Software Development Meth
β John V. Guttag, James J. Horning (auth.), SΓΈren Prehn, Hans Toetenel (eds.)
π Library
π
1991
π Springer-Verlag Berlin Heidelberg
π English
<p>The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board spon