Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Texts & Monographs in Computer Science) - Hardcover

Luckham, David

 
9780387972541: Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Texts & Monographs in Computer Science)
Hardcover
ISBN 10: 0387972544 ISBN 13: 9780387972541
Verlag: Springer-Verlag New York Inc, 1991

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

This monograph introduces ANNA, a language for specifying programs written in Ada.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer-Verlag New York Inc
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0387972544
ISBN 13 
9780387972541
Einband
Tapa dura
Anzahl der Seiten
416
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3540972544 ISBN 13:  9783540972549
Verlag: Springer-Verlag Berlin and Heide..., 1990
Hardcover