Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science (Paperback)
  • Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science (Paperback)
zoom

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science (Paperback)

(author)
£89.99
Paperback 416 Pages / Published: 05/01/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan- guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi- nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461396871
Number of pages: 416
Weight: 663 g
Dimensions: 235 x 155 x 22 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

C Pocket Reference
Added to basket
£15.99
Paperback
C++ All-in-One For Dummies
Added to basket
C Programming
Added to basket
£54.99
Paperback
M Is for (Data) Monkey
Added to basket
£28.99
Paperback
The Little Schemer
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
The C++ Programming Language
Added to basket
Logic Programming with Prolog
Added to basket
Schaum's Outline's UML
Added to basket
Programming
Added to basket
£55.49
Paperback
Data Analysis Using SQL and Excel
Added to basket
Effective C++
Added to basket
£40.49
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
C Programming Language
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
C++ Pocket Reference
Added to basket
£15.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.