Addison-Wesley / Prentice Hall
Computer Science
Browse available resources for Computer Science:
- Select a resource
- Resources for Computer Science GOAL where virtual office hours are 24/7! Your Own TA, Just a Click Away! Deitel Resource Centers National Center for Women & Information Technology View material from Search Engines: Information Retrieval in Practice VideoNotes Andrew Tanenbaum Flame Award Recipient Custom Programs Instructor Resource Center myPearsonStore
ISBN-10: 0201175177
ISBN-13: 9780201175172
Publisher: Addison-Wesley Professional
Copyright: 1997
Format: Cloth Bound w/CD-ROM; 384 pp
Status: Out of Print
Suggested retail price: $57.99
This item is out of print and is no longer available for purchase.
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.
Introduction.
Language Principles.
SPARK Analysis Tools.
SPARK Structure.
The Type Model.
Control and Data Flow.
Packages and Visibility.
Interfacing.
The SPARK Examiner.
Flow Analysis.
Verification; Program Design.
Case Studies. 0201175177T04192001
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
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
Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students, contact your Pearson Higher Education representative for pricing and ordering information.
Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.