All listings for this product
Best-selling in Non-Fiction Books
- AU $62.02New
- AU $5.82New
- AU $22.48New
- AU $33.47New
- AU $30.62New
Save on Non-Fiction Books
- AU $59.99Trending at AU $62.02
- AU $40.94Trending at AU $51.88
- AU $32.35Trending at AU $51.33
- AU $29.58Trending at AU $30.62
- AU $49.30Trending at AU $53.06
- AU $26.83Trending at AU $32.55
- AU $39.26Trending at AU $43.67
About this product
- DescriptionTopics * what this book is about, * its intended audience, * what the reader ought to kw, * how the book is organized, * ackwledgements. Specifications express information about a program that is t rmally part of the program, and often cant 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- logy 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.
- Author(s)David Luckham
- PublisherSpringer-Verlag New York Inc.
- Date of Publication05/01/2012
- SubjectComputing: Professional & Programming
- Series TitleMonographs in Computer Science
- Place of PublicationNew York, NY
- Country of PublicationUnited States
- ImprintSpringer-Verlag New York Inc.
- Content Notebiography
- Weight662 g
- Width156 mm
- Height234 mm
- Spine22 mm
- Format DetailsTrade paperback (US)
- Edition StatementSoftcover reprint of the original 1st ed. 1990
This item doesn't belong on this page.
Thanks, we'll look into this.