Verwandte Artikel zu Programming With Specifications: An Introduction to...
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Texts & Monographs in Computer Science) - Hardcover
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 65,18
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Programming With Specifications: An Introduction to...
Beispielbild für diese ISBN
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Verlag:
Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544
ISBN 13: 9780387972541
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-570-065
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Verlag:
Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544
ISBN 13: 9780387972541
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-570-066
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Verlag:
Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544
ISBN 13: 9780387972541
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-554-961
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
PROGRAMMING WITH SPECIFICATIONS
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 2247647/202
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. Bestandsnummer des Verkäufers ERICA83003879725443
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-89879
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-90299
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 181763717
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 261763727
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming with Specifications
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 7165520
Anzahl: 1 verfügbar