Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
10 used & new from £45.54
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 1 left in stock--order soon (more on the way).

Want guaranteed delivery by Tuesday, July 14? Choose Express delivery at checkout. See Details
7 new from £45.54 3 used from £76.93

Frequently Bought Together

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

Show availability and shipping 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
£41.99
Concurrent and Real-time Programming in Ada

Concurrent and Real-time Programming in Ada

by Alan Burns
5.0 out of 5 stars (1)  £38.00
Linux Device Drivers

Linux Device Drivers

by Jonathan Corbet
3.7 out of 5 stars (9)  £21.69
Software Testing: An ISEB Foundation

Software Testing: An ISEB Foundation

by Brian Hambling
4.9 out of 5 stars (13)  £22.49
Safer C: Developing Software for High-Integrity and Safety-Critical Systems (McGraw-Hill International Series in Software Engineering)

Safer C: Developing Software for High-Integrity and Safety-Critical Systems (McGraw-Hill International Series in Software Engineering)

by Les Hatton
4.6 out of 5 stars (5)  £22.49
› 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: 387,404 in Books (See Bestsellers in Books)

    Popular in this category:

    #5 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?)
Health and Safety Systems
   www.Emex.com    Enterprise Software System Very Flexible online solution 
Safety Software
   www.ehands.co.uk    eHandS Safety Software Comprehensive, Intuitive, Flexible! 
TOOLMINDER On HAVs
   earlsmere.co.uk/toolminder    Safety & Maintenance software with HAVs risk management & HAVmeter... 
  
 

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)
Check a corresponding box or enter your own tags in the field below
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)
19% buy
Programming in ADA 2005 (International Computer Science Series)
£41.99
Rendezvous with ADA 95
14% buy
Rendezvous with ADA 95 5.0 out of 5 stars (2)
£55.25
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

 Beta (What's this?)
This product's forum (0 discussions)
  Discussion Replies Latest Post
  No discussions yet

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

   

Listmania!

Create a Listmania! list

Look for similar items by category

Feedback

Fun for Everyone

Christmas Gifts
Achieve over 15,000 RPM with our great range of Powerballs.

›Shop the Powerball store

  

More From J. G. P. Barnes

Programming in Ada 95

Programming in Ada 95 (With CD)

Written by a key member of the original Ada design team 'Programming... Read more

 

Up to 53% off Braun Series Shavers

Braun Series 3 390cc Clean & Renew System Rechargeable Foil Electric Shaver
Get in touch with your smooth side with Braun Series shavers, now with Gillette blade technology.

›Discover Braun Series at Amazon.co.uk

  

Treat Someone

Amazon.co.uk Gift Certificates--available in any amount from £5 to £500 With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

  
Ad

Where's My Stuff?

Delivery and Returns

Need Help?

Your Recent History

  (What's this?)
You have no recently viewed items or searches.

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

Look to the right column to find helpful suggestions for your shopping session.
Continue Shopping: Top Sellers
The Girl Who Played with Fire
The Girl Who Played with Fire by Stieg Larsson
4.5 out of 5 stars (75)£3.86
 Breaking Dawn (Twilight Saga)
Breaking Dawn (Twilight Saga) by Stephenie Meyer
4.1 out of 5 stars (464)£6.49
 The Girl with the Dragon Tattoo
The Girl with the Dragon Tattoo by Stieg Larsson
4.1 out of 5 stars (165)£3.99
 The Host
The Host by Stephenie Meyer
4.2 out of 5 stars (81)£3.86

amazon.co.uk Amazon Home
International Sites:  United States  |  Germany  |  France  |  Japan  |  Canada  |  China
Business Programs: Sell on Amazon  |  Fulfilment by Amazon  |  Join Associates  |  Join Advantage
Customer Service  |  Help  |  View Basket  |  Your Account
About Amazon.co.uk  |  Careers at Amazon
Conditions of Use & Sale |  Privacy Notice  © 1996-2009, Amazon.com, Inc. and its affiliates