Programming with Specifications

Name: Programming with Specifications
Brand: Springer-Verlag New York Inc.
SKU: 9781461396871
Price: 19201 HUF
Availability: InStock

An Introduction to ANNA, A Language for Specifying Ada Programs

Szerző: David Luckham

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 201 Ft

Topics what this book is about, its intended audience, what the reader ought to know, how the book i...

Információk a könyvről

Szerző

David Luckham

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

416

EAN

9781461396871

ISBN

1461396875

Enbook ID

06797418

Kiadó

Springer-Verlag New York Inc.

Súly

663

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták