Programming with Specifications

Programming with Specifications

4.11 - 1251 ratings - Source



Topics a€c what this book is about, a€c its intended audience, a€c what the reader ought to know, a€c how the book is organized, a€c 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 qspecificationq 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.... specifications of 337 calls, 220 proving consistency, 115 specifications, 215 subtypes successive, 53 SucCeSSOr function, 79 states, 149 SucceSSOr StateS notation, 151 Support between assertions, 80 Suzuki, N., 282 symbolic execution , anbsp;...


Title:Programming with Specifications
Author: David Luckham
Publisher:Springer Science & Business Media - 2012-12-06
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA