Building High Integrity Applications with SPARK 1st Edition

by John W. McCormick (Author), Peter C. Chapin (Author)

2 customer reviews

ISBN-13: 978-1107656840

ISBN-10: 1107656842

Why is ISBN important?

Have one to sell? Sell on Amazon

Added to

Unable to add item to List. Please try again.

Share <Embed>

Buy new

$49.91

In Stock.

Ships from and sold by Amazon.com. Gift-wrap available.

Save an extra $3.06 when you apply this coupon.

Details

$3.06 extra savings coupon applied at checkout.

Details

Sorry. You are not eligible for this coupon.

This item ships to France. Want it Thursday, Aug. 30? Order within and choose AmazonGlobal Priority Shipping at checkout. Learn more

List Price: $62.00
Save: $12.09 (20%)

9 New from $49.91

Select delivery location

Turn on 1-Click ordering

More Buying Choices

9 New from $49.91 10 Used from $57.65

19 used & new from $49.91

See All Buying Options

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Frequently bought together

Customers who bought this item also bought

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

Prof Alan Burns

2

Paperback
$25.00
John Barnes

8

Paperback
$63.20
John W. McCormick

3

Hardcover
$97.77
AdaCore Team
Paperback
$39.99
Aurélien Géron

219

in Computer Neural Networks
Paperback
$27.27
Alan Burns

5

Hardcover
$81.49

Editorial Reviews

Book Description

The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.

About the Author

John McCormick is a Professor of Computer Science at the University of Northern Iowa. He began his career at the State University of New York in 1979. He has served as secretary, treasurer and chair of the Association for Computer Machinery Special Interest Group on Ada. In 1993 John was awarded the Chancellor's Award for Excellence in Teaching. He received the Special Interest Group on Ada Distinguished Service Award in 2002, as well as the Outstanding Ada Community Contributions Award in 2008. His additional awards include the Special Interest Group on Ada Best Paper and Presentation Award, and the Ada Europe Best Presentation Award.

Paperback: 382 pages
Publisher: Cambridge University Press; 1 edition (August 31, 2015)
Language: English
ISBN-10: 1107656842
ISBN-13: 978-1107656840
Product Dimensions: 6 x 0.8 x 9 inches
Shipping Weight: 12.6 ounces (View shipping rates and policies)
Average Customer Review: 2 customer reviews
Amazon Best Sellers Rank: #418,490 in Books (See Top 100 in Books)
- #441 in Books > Textbooks > Computer Science > Software Design & Engineering
- #976 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- #1473 in Books > Textbooks > Computer Science > Programming Languages

Would you like to tell us about a lower price?
If you are a seller for this product, would you like to suggest updates through seller support?

Be the first video

Your name here

Try the Kindle edition and experience these great reading features:

See Kindle Edition

Customer reviews

5.0 out of 5 stars

5 star

4 star (0%)

3 star (0%)

2 star (0%)

1 star (0%)

Write a customer review

See all 2 customer reviews

Top customer reviews

There was a problem filtering reviews right now. Please try again later.

Dr. Carl S. Brandon

Great book on SPARK 2014

December 10, 2015

Format: Kindle EditionVerified Purchase

Were comprehensive book for learning and using SPARK 2014. The only book available on the topic. If you REALLY want your software to work, this is the technology you want to be using. See the report on our website: cubesatlab.org

3 people found this helpful

Helpful

Not Helpful

Comment

YANNICK MOY

I really love this book

September 13, 2015

Format: Paperback

If you're somewhat interested in formal methods applied to software, but you never had the chance to really look at it, now is the time! Prof. John McCormick from University of Northern Iowa and Prof. Peter Chapin from Vermont Technical College have written a truly essential book for getting up to speed with formal verification using SPARK. I really love this book, and here are the aspects I love most:

1 - It does not assume you know static analysis. It does not assume you know logic. It does not assume you know Ada. Instead, it introduces all the concepts that are useful for using SPARK where needed, with a clarity and simplicity of exposure that is remarkable.

2 - It was written by very experienced users and teachers of the technology, but not by the tool builders (us at AdaCore and Altran). So they focus on the application of the technology in software engineering (in the problem domain) rather than on the technology prowesses (in the solution domain), which is a typical bias for tool builders writing on their technology.

3 - It is very practical, full of examples that illustrate all the concepts they explain and the tips they give on the actual practice of an engineer applying formal verification with SPARK on her code.

I see this book as a glorified User's Guide to SPARK, and I recommend it to anybody who either wants to have a first look at SPARK, or actually starts using it for real. In fact, we also try to apply the principles above in the SPARK User's Guide, but their book is definitely a better entry door to the technology, while the User's Guide tries to be its map.

For those in academia who would like to teach SPARK, the book is ideally structured with a summary and exercises closing each chapter. All examples are available from the publisher's webpage at http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/building-high-integrity-applications-spark?format=PB (see Resources and Source code) and the final case study on a time stamp server is available from one of the authors's github at https://github.com/pchapin/thumper. You may also get a free copy of the book from Cambridge University Press to evaluate it for your course (see the publisher's webpage).

9 people found this helpful

Helpful

Not Helpful

Comment

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway

This item: Building High Integrity Applications with SPARK

Set up a giveaway

Customers who viewed this item also viewed

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

John W. McCormick

3

Hardcover
$97.77
John Barnes

8

Paperback
$63.20
Prof Alan Burns

2

Paperback
$25.00
AdaCore Team
Paperback
$39.99
Alan Burns

5

Hardcover
$81.49
Bill Chambers

13

Paperback
$48.75