ANNA A Language for Annotating Ada Programs: Reference Manual: 260 (Lecture Notes in Computer Science, 260) - Softcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1987
- ISBN 10 3540179801
- ISBN 13 9783540179801
- BindingPaperback
- Number of pages153
Top Search Results from the AbeBooks Marketplace
Seller Image
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science (260)) by Owe, Olaf, Luckham, David C., von Henke, Friedrich W., Krieg-Brueckner, Bernd [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540179801
Buy New
£ 45.25
Convert currency
Stock Image
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Published by
Springer
(1987)
ISBN 10: 3540179801
ISBN 13: 9783540179801
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020161566
Buy New
£ 48.31
Convert currency
Stock Image
ANNA A Language for Annotating Ada Programs : Reference Manual
Published by
Springer
(1987)
ISBN 10: 3540179801
ISBN 13: 9783540179801
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540179801_lsuk
Buy New
£ 48.45
Convert currency
Stock Image
ANNA A LANGUAGE FOR ANNOTATING A
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 0.5. Seller Inventory # Q-3540179801
Buy New
£ 64.44
Convert currency
Stock Image
ANNA A Language for Annotating Ada Programs : Reference Manual
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540179801
Buy New
£ 54.16
Convert currency
Seller Image
ANNA A Language for Annotating Ada Programs
Published by
Springer Berlin Heidelberg Jul 1987
(1987)
ISBN 10: 3540179801
ISBN 13: 9783540179801
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch. Seller Inventory # 9783540179801
Buy New
£ 56.41
Convert currency
Seller Image
ANNA A Language for Annotating Ada Programs : Reference Manual
Published by
Springer Berlin Heidelberg
(1987)
ISBN 10: 3540179801
ISBN 13: 9783540179801
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540179801
Buy New
£ 50.85
Convert currency
Seller Image
ANNA A Language for Annotating Ada Programs
Published by
Springer Berlin Heidelberg
(1987)
ISBN 10: 3540179801
ISBN 13: 9783540179801
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 w. Seller Inventory # 4883607
Buy New
£ 42.50
Convert currency