Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Mega Sale! Save 24% on the Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science) by Brand: Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, •
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.
|Item Weight:||1.35 pounds|
|Item Size:||1 x 9.25 x 9.25 inches|
|Package Weight:||1.35 pounds|
|Package Size:||6.06 x 0.94 x 0.94 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Jean Pierre Rosen
mpn: Illustrations, ean: 9783540403760, isbn: 3540403760,
The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and se...
By Johann Blieberger
mpn: 1, ean: 9783540437840, isbn: 3540437843,
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.The 24 revised full papers presented together with four invited papers were c...
By D Christodoulakis
mpn: 1, ean: 9783540540922, isbn: 354054092X,
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Te...
By Marcel Toussaint
ean: 9783540588221, isbn: 3540588221,
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe.The 42 papers ac...
By Marcel Toussaint
ean: 9783540607571, isbn: 3540607579,
This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, ap...
By Brand: Springer
ean: 9783540613176, isbn: 354061317X,
This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with ...
By Ios Pr Inc
ean: 9789051990751, isbn: 9051990758,
This book is aimed at both reviewing current Ada-based technology and appraising the 9X process. It contains some eleven technical papers which are extended versions of talks given during the 1991 International Ada UK conference. This conference took...
By Ios Pr Inc
ean: 9789051991550, isbn: 905199155X,
The "ADA Yearbook" is an annual publication for all users of the ADA-programming language. It provides a source of information about ADA in an accessible form. As the world of ADA has matured, the volume of information has grown larger. As a result, ...
By Ios Pr Inc
sku: 1003-WS1501-A02010-9051992181, ean: 9789051992182, isbn: 9051992181,
This the fifth issue of the annual publication organized by ADA UK. The intended audience includes managers (needing contact addresses and access to information about ADA products), software and systems engineers using ADA or those intending to use i...
By Cambridge University Press
mpn: 40713532, ean: 9781107424814, isbn: 110742481X,
Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. Wi...