Search Results for: Anna A Language For Annotating Ada Programs

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifyin

This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to its original prin

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subje