Synopsis
An introduction to the SPARK programming tools and its associated tools. Combines a thorough description of the language with practical advice on how to use SPARK tools. The three parts cover: An overview, The SPARK language, and The SPARK tools. Includes case studies. CD ROM included.
"synopsis" may belong to another edition of this title.
About the Author
John Barnes has been involved in all stages of Ada's development, as one of the original design team for Ada 83 and an active participant in the revision process. He is President of Ada-Europe and Chairman of Ada UK and has given many tutorials world-wide on Ada design and use.
0201175177AB04192001
From the Back Cover
High Integrity Ada is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters.In John Barnes¿ clear and accessible writing style, this book combines a thorough description of the language with practical advice on how to use the SPARK tools. Illustrated with numerous examples and case studies, this book will teach you how to write more reliable software.The CD-ROM accompanying the book contains the SPARK tools plus additional documentation as well as all major examples of programs from the text.¿The reader will enjoy John Barnes¿ lively guidance through SPARK. With panache he combines rigorous clarity and a great sense of fun.¿from the foreword by Bernard Carré¿I¿ve long watched for an approachable discussion of SPARK. This is it. ... The community and SPARK have long deserved to meet each other on such friendly terms.¿James Sutton, Lockheed¿This book will be indispensable to the serious SPARK user, since it includes a very accessible definition of the language and provides all the necessary background material on static analysis as performed by the tools.¿Phil Thornley, British Aerospace
"About this title" may belong to another edition of this title.
Search results for High Integrity Ada: The Spark Approach
Seller Image
High Integrity Ada: The Spark Approach
Seller: BoundlessBookstore, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. VG condition book without dust jacket. Boards are clean with little wear. Book has clean and bright contents. Seller Inventory # 9999-999102391922
Buy Used
US$ 12.38
US$ 9.32 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
High Integrity Ada: The Spark Approach
Seller: BoundlessBookstore, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Reprint. Light wear to boards. Content is clean and bright. Previous owner name to ffep. No DJ. Seller Inventory # 9999-999102247955
Buy Used
US$ 13.75
US$ 9.32 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
High Integrity ADA : The Spark Approach
Published by
Pearson Education, Limited, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 40928341-6
Stock Image
High Integrity Ada: The Spark Approach
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.0201175177.G