or
Sign in to turn on 1-Click ordering.
 
 
More Buying Choices
14 used & new from £39.20
Have one to sell? Sell yours here
 
   
High Integrity Software: The SPARK Approach to Safety and Security
 
 
Share your own customer images
Search inside this book

High Integrity Software: The SPARK Approach to Safety and Security (Hardcover)

by John Barnes (Author)
5.0 out of 5 stars  See all reviews (1 customer review)
RRP: £56.99
Price: £48.44 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
You Save: £8.55 (15%)
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In stock.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

Only 2 left in stock--order soon (more on the way).

Want guaranteed delivery by Saturday, November 14? Choose Express delivery at checkout. See Details
10 new from £39.20 4 used from £56.98

Frequently Bought Together

High Integrity Software: The SPARK Approach to Safety and Security + Programming in ADA 2005 (International Computer Science Series) + Concurrency in Ada
Price For All Three: £124.43

Some of these items are dispatched sooner than the others. Show details

Customers Who Bought This Item Also Bought

Programming in ADA 2005 (International Computer Science Series)

Programming in ADA 2005 (International Computer Science Series)

by John Barnes
5.0 out of 5 stars (1)  £40.99
Concurrency in Ada

Concurrency in Ada

by John Barns
5.0 out of 5 stars (1)  £35.00
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (International Computer Science Series)

Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (International Computer Science Series)

by Prof Alan Burns
3.0 out of 5 stars (1)  £40.49
Linux Device Drivers

Linux Device Drivers

by Jonathan Corbet
3.7 out of 5 stars (9)  £17.55
› Explore similar items

Product details

  • Hardcover: 448 pages
  • Publisher: Addison Wesley; Har/Cdr edition (17 Mar 2003)
  • Language English
  • ISBN-10: 0321136160
  • ISBN-13: 978-0321136169
  • Product Dimensions: 23.4 x 17.2 x 3 cm
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon.co.uk Sales Rank: 493,021 in Books (See Bestsellers in Books)

    Popular in this category:

    #9 in  Books > Computing & Internet > Programming > Languages > Ada

    •  Would you like to update product info or give feedback on images?

  • See Complete Table of Contents

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
   High Integrity Systems UK opens new browser window
www.HighIntegritySystems.com  -  Software and systems to globally recognized standards. IEC 61508 etc 
   H&S Management Software opens new browser window
www.WarwickICSystems.com  -  Get the facts before you buy - Free H&S Software Buyers White Paper 
   Shortcuts Software System opens new browser window
www.Shortcuts.co.uk  -  Shortcuts Spa & Salon Software Used By 11,000 Spas Worldwide! 
  
 

Product Description

Product Description

This book provides an accessible introduction to the SPARK programming language.
  • Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming.
  • The only book on the market that covers this important and robust programming language.
  • CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.
Technology:

The SPARK language is aimed at writing reliable software that combines simplicity and rigour within a practical framework.  Because of this, many safety-critical, high integrity systems are developed using SPARK.

User Level:

Intermediate

Audience:

Software engineers, programmers, technical leaders, software managers.  Engineering companies in fields such as avionics, railroads, medical instrumentation and automobiles.  Academics giving MSc courses in Safety Critical Systems Engineering, System Safety Engineering, Software Engineering.

Author Biography:

John Barnes is a veteran of the computing industry.  In 1977 he designed and implemented the RTL/2 programming language and was an original member of the ADA programming language design team.  He was founder and MD of Alsys Ltd from 1985 to 1991.  Currently self employed, John is the author of 'Programming in ADA' which has sold 150000 copies and been translated into 6 languages.  



About the Author

John Barnes is a veteran of the computing industry.  In 1977 he designed and implemented the RTL/2 programming language and was an original member of the ADA programming language design team.  He was founder and MD of Alsys Ltd from 1985 to 1991.  Currently self employed, John is the author of 'Programming in ADA' which has sold 150000 copies and been translated into 6 languages.  

Inside This Book (Learn More)
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Suggested Tags from Similar Products

 (What's this?)
Be the first one to add a relevant tag (keyword that's strongly related to this product)
 
spark
ada

Your tags: Add your first tag
 
See most popular tags

What Do Customers Ultimately Buy After Viewing This Item?

High Integrity Software: The SPARK Approach to Safety and Security
67% buy the item featured on this page:
High Integrity Software: The SPARK Approach to Safety and Security 5.0 out of 5 stars (1)
£48.44
Programming in ADA 2005 (International Computer Science Series)
25% buy
Programming in ADA 2005 (International Computer Science Series) 5.0 out of 5 stars (1)
£40.99
Rendezvous with ADA 95
3% buy
Rendezvous with ADA 95 5.0 out of 5 stars (2)
£55.25
Concurrency in Ada
3% buy
Concurrency in Ada 5.0 out of 5 stars (1)
£35.00
Explore similar items
 

Customer Reviews

1 Review
5 star:
 (1)
4 star:    (0)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
5.0 out of 5 stars (1 customer review)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

 
9 of 9 people found the following review helpful:
5.0 out of 5 stars Excellent Book for Professionals, 12 Jun 2003
If you are in the business of creating serious software that is safety critical or security related then this book is essential reading, it is also an excellent guide if you have an interest in how such software is created. Focusing on how the SPARK language assures correctness throughout the construction of the software and how the supporting tools allow analysis of the resulting program, the book forms an essential reference work for users of the SPARK approach to developing software.

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

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)


Share your thoughts with other customers: Create your own review
 
 
 
Only search this product's reviews


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   

Look for similar items by category

Look for similar items by subject























i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback

Ad

Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.