Login       My Wishlist
  My Cart
$0.00 / 0 items
EMS Linux
Utilizing the Best Tools With Linux
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Ada

SPARK 2014 User's Guide

On Sale Now! Save 9% on the SPARK 2014 User's Guide by Samurai Media Limited at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. 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

Product 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.

Additional Information

Manufacturer:Samurai Media Limited
Publisher:Samurai Media Limited
Studio:Samurai Media Limited
Item Size:0.71 x 11 x 11 inches
Package Weight:1.98 pounds
Package Size:8.5 x 0.71 x 0.71 inches

SPARK 2014 User's Guide by Samurai Media Limited

Buy Now:
SPARK 2014 User's Guide

Brand: Samurai Media Limited
4.1 out of 5 stars with 58 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
You Save: 8%



View More In Ada.


Have questions about this item, or would like to inquire about a custom or bulk order?

If you have any questions about this product by Samurai Media Limited, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

By Springer
mpn: 3 black & white illustrations, biography, ean: 9783642452093, isbn: 3642452094,
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its c...

By Springer
ean: 9780387948010, isbn: 0387948015,
Lovelace provides an introduction to Ada 95, one of the most widely used programming languages in the world. Although the reader is assumed to have a basic understanding of programming, no prior exposure to Ada is assumed and all the basics of the la...

By Brand: Apress
mpn: 978-1-4302-3171-4, ean: 9781430231714, isbn: 1430231718,
If you’re new to C# programming, this book is the ideal way to get started. Respected author Adam Freeman guides you through the C# language by carefully building up your knowledge from fundamental concepts to advanced features. The book gradually ...

By Brand: Peer Information
sku: 6671778, ean: 9781861004635, isbn: 186100463X,

By Pearson
ean: 9780321340788, isbn: 0321340787,
The definitive text on the new version of Ada – Ada 2005 – written by one of the language’s creators.  Barnes is to Ada what Kernighan & Ritchie are to C, or as Stroustrup is to C++.  Previous editions have sold over 150,000 copies....

By McGraw-Hill
ean: 9780071373296, isbn: 0071373292,
Known in her own day as an “enchantress of numbers,” Ada Byron, Lady Lovelace, daughter of the poet Lord Byron, was one of the most fascinating women of the 19th century. In collaboration with Charles Babbage, inventor of the mechanical “thinki...

By Brand: Apress
ean: 9781590590966, isbn: 1590590961,
Stephens and Rosenberg examine XP in the context of existing methodologies and processes such as RUP, ICONIX, Spiral, RAD, DSDM, etc – and show how XP goals can be achieved using these existing processes....

By Wiley
ean: 9780471012764, isbn: 0471012769,
Ada 95 is the first new version of Ada since 1983 when it was designated the official programming language of the Department of Defense. This book was specifically designed for those who need to quickly acquire an in-depth working knowledge of Ada 95...

By Apress
ean: 9781590595855, isbn: 1590595858,
* Expanded and revised in light of the GNU Compiler Collection (GCC) 4 release in April 2005, this book offers detailed coverage of GCC's somewhat daunting array of options and features and includes several chapters devoted to its support for languag...

By CreateSpace Independent Publishing Platform
ean: 9781975729592, isbn: 1975729595,
System Design Interview It is a fact that you’ll be bombarded with system design interview questions which have become part and parcel of all the software engineering hiring processes. Your performance in these interviews will reflect upon your c...

Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.