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   Software Design, Testing & Engineering   Quality Control

High Integrity Software: The SPARK Approach to Safety and Security


Free Shipping Included! High Integrity Software: The SPARK Approach to Safety and Security by Brand: Addison-Wesley at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This book provides an accessible introduction to the SPARK programming language. Updated 'classic' that covers all of the new features of SPARK,


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.  

Additional Information

Manufacturer:Addison-Wesley
Brand:Brand: Addison-Wesley
Publisher:Addison-Wesley
Studio:Addison-Wesley
UPC:076092021001
EAN:9780321136169
Item Size:1 x 9.5 x 9.5 inches
Package Weight:2.12 pounds
Package Size:6.77 x 1.18 x 1.18 inches

High Integrity Software: The SPARK Approach to Safety and Security by Brand: Addison-Wesley

Buy Now:
High Integrity Software: The SPARK Approach to Safety and Security

Brand: Brand: Addison-Wesley
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$101.57


Quantity:  

 


View More In Quality Control.

 


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 Brand: Addison-Wesley, 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 Addison-Wesley Professional
mpn: 44141304, ean: 9780134291062, isbn: 0134291069,
How do successful agile teams deliver bug-free, maintainable software—iteration after iteration? The answer is: By seamlessly combining development and testing. On such teams, the developers write testable code that enables them to verify it using ...

By Brand: Technics Publications
ean: 9780977140022, isbn: 0977140024,
Imagine a group of prehistoric hunters armed with stone-tipped spears. Their primitive weapons made hunting large animals, such as mammoths, dangerous work. Over time, however, a new breed of hunters developed. They would stretch the skin of a previo...

By O'Reilly Media
mpn: black & white illustrations, ean: 9781491949887, isbn: 1491949880,
Now that we’re moving from a product economy to a digital service economy, software is becoming critical for navigating our everyday lives. The quality of your service depends on how well it helps customers accomplish goals and satisfy needs. Servi...

By Wiley-IEEE Computer Society Pr
ean: 9781118501825, isbn: 1118501829,
This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunicatio...

By Addison-Wesley Professional
mpn: Illustrations, ean: 9780321549259, isbn: 0321549252,
“This book gives thorough, scholarly coverage of an area of growing importance in computer security and is a ‘must have’ for every researcher, student, and practicing professional in software protection.”     —Mikhail Atallah, Distingui...

By Addison-Wesley Professional
mpn: Illustrations, ean: 9780321502759, isbn: 0321502752,
When software development teams move to agile methods, experienced project managers often struggle—doubtful about the new approach and uncertain about their new roles and responsibilities. In this book, two long-time certified Project Management Pr...

By Addison-Wesley Professional
mpn: 21945551, ean: 9780321336385, isbn: 9780321336385,
For any software developer who has spent days in “integration hell,” cobbling together myriad software components, Continuous Integration: Improving Software Quality and Reducing Risk illustrates how to transform integration from a necessary ev...



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