Articles liés à ANNA A Language for Annotating Ada Programs: Reference...
Synopsis
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,28
EUR 3,42 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour ANNA A Language for Annotating Ada Programs: Reference...
Image d'archives
Anna a Language for Annotating Ada Programs: Reference Manual
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1987
ISBN 10 : 3540179801
ISBN 13 : 9783540179801
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Pages cornées. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Dog-eared pages. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-596-230
Quantité disponible : 1 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science)
Edité par
Springer, 1987
ISBN 10 : 3540179801
ISBN 13 : 9783540179801
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14-14424
Quantité disponible : 1 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020161566
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Anna a Language for Annotating Ada Programs : Reference Manual
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5899027-n
Quantité disponible : 15 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1987
ISBN 10 : 3540179801
ISBN 13 : 9783540179801
Neuf
Paperback
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540179801
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Anna a Language for Annotating Ada Programs : Reference Manual
Edité par
Springer, 1987
ISBN 10 : 3540179801
ISBN 13 : 9783540179801
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5899027
Quantité disponible : 15 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540179801_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540179801
Quantité disponible : 10 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 156. N° de réf. du vendeur 26505776
Quantité disponible : 4 disponible(s)
Image d'archives
ANNA A Language for Annotating Ada Programs: Reference Manual
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 1987. 1987th Edition. paperback. . . . . . N° de réf. du vendeur V9783540179801
Quantité disponible : 15 disponible(s)