Used price: $1.99
Collectible price: $5.00
Buy one from zShops for: $0.75
Used price: $19.95
Used price: $48.50
Buy one from zShops for: $40.00
This book consists of three main parts plus an appendix.
The first part consists of an overview of why SPARK was created and the background to the language and tools.
Part two looks in detail at the SPARK language.
Part three considers the tools available; various code analysis techniques and design issues that can help in the development of high integrity software. Three small case studies are included, together with some examples of real projects where SPARK has been used in large scale industrial projects.
The Appendix covers the syntax of SPARK, how to use the CD-ROM and some notes on the continuing developments of the evolution of SPARK.
The included CD-ROM allows you to try out some of what the book teaches and includes limited versions of the SPARK Examiner toolset.
In this book John Barnes writes in a style similar to his other texts; this is rather like a guiding teacher leaning over your shoulder as you work at the computer, pointing out things to observe and illustrating with snippets of code or background information. It is a style that has been criticised by some, but I find it rather reassuring as you are guided along the path to understanding. The inclusion of a CD-ROM also allows you to understand by doing, and although the tool is limited in capability, it is possible to get a good flavour of the capabilities of its parent product.
This book replaces the previous SPARK book: "High Integrity Ada : The SPARK Approach". Barnes covers the revisions and enhancements of the SPARK language described in his original book, if you are an existing user of SPARK, you need this issue to stay up-to-date with the important revisions of the language and tools. This book tries to distance itself somewhat from Ada95, possibly because of the image that language has with less well-informed programmers, but since you need an Ada compiler to produce executables from SPARK programs it would be fair to point out that SPARK is firmly rooted in Ada95.
Creating high integrity software is a disciplined process, and the book is very much based in the practical application of SPARK in building high integrity software. The SPARK language is based solid mathematical foundations, but there is no detailed descriptions at this level, the book rightly points out that they are there and then moves on towards giving you the practical information you need to write SPARK programs. Mastering SPARK gives you unprecedented skills in the highly desirable field of producing high integrity software.
Thus spake the Master programmer:
"A well written program is its own heaven; a poorly written program is its own hell."
- - from The Tao of Programming
Used price: $2.22
The sections on AI, Nanotechnology, Machine Vision, etc. were very fascinating even though not commonly used technology. Speculation on the future is always exciting.
The sections on Power Generation, Lasers, IC Chips, etc. were very infomative considering that people regularly encounter this technology.
Used price: $13.00
Used price: $20.33
Buy one from zShops for: $20.27
Used price: $12.00
Buy one from zShops for: $30.19
Used price: $7.87
Collectible price: $14.82
Buy one from zShops for: $12.49
The highly technical nature of much of the work means that parts of it will probably too dense for anyone outside of a narrow speciality. At the same time this, when combined with the excellent Japanese-English glossary of technical terms, make it vital reference work, especially for those who use Japanese language sources. This is must for anyone who seriously studies early East Asian history, and who is searching for broader patterns of meaning from scanty evidence. However, the lay person who is looking for a general overview of early Japanese history would be better served somewhere else.