Computers & Internet Books:

Spark 2014 User's Guide

Format

Paperback / softback

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Spark 2014 User's Guide by Adacore Team
Save $41
$74.99 was $115.99

Available on orders $100 to $1000. Learn more

In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 8-12 days

Availability

Delivering to:

Estimated arrival:

  • Around 4-11 October using Express Delivery
    Mighty Ape can deliver this product within 1-2 business days (usually overnight) to urban centres across Australia, and some remote areas. Learn more
  • Around 8-15 October using standard courier delivery

Description

SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification. The new aspects support abstraction and refinement and facilitate deep static analysis to be performed including flow analysis and formal verification of an implementation against a specification. SPARK 2014 is a much larger and more flexible language than its predecessor SPARK 2005. The language can be configured to suit a number of application domains and standards, from server-class high-assurance systems (such as air-traffic management applications), to embedded, hard real-time, critical systems (such as avionic systems complying with DO-178C Level A). A major feature of SPARK 2014 is the support for a mixture of proof and other verification methods such as testing, which facilitates in particular the use of unit proof in place of unit testing; an approach now formalized in DO-178C and the DO-333 formal methods supplement. Certain units may be formally proven and other units validated through testing.
Release date Australia
June 6th, 2017
Pages
312
Illustrations
Illustrations, black and white
Imprint
Samurai Media Limited
Dimensions
216x279x17
ISBN-13
9789888407163
Product ID
26910384

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...