Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Ada

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, •


Product Description

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.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Publisher:Springer
Studio:Springer
EAN:9781461396871
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

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

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

Brand: Brand: Springer
4.9 out of 5 stars with 28 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$149.00
$114.20
You Save: 23%


Quantity:  

 


View More In Ada.

 


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.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


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...

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...

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...

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...

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...

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 ...

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...

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, ...

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...

This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 13719-1, to the Ada programming language.A number of features are not completely defined in ISO/IEC 13719-1, some freedo...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.