|
|
Message from Dean - May 8th 2007
I am currently testing out a new version of the APF Bridge Component - If you notice any errors within this demo store please drop me a line.
List Price: $76.00Price: $60.50 You Save: $15.50 (20%)Prices subject to change.
Availability: Usually ships in 1-2 business days
Binding: Hardcover
Dewey Decimal Number: 005.1
EAN: 9780321136169
ISBN: 0321136160
Label: Addison Wesley
Manufacturer: Addison Wesley
Number Of Items: 1
Number Of Pages: 448
Publication Date: April 25, 2003
Publisher: Addison Wesley
Studio: Addison Wesley
Related Items:
Browse for similar items by category:
Editorial Review:
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.
Average Rating: 
Rating: -
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 ... Read More
Availability: Usually ships in 1-2 business days
|
Amazon Store 