Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540472025
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Prediction of Neuroleptic Treatment Outcome in Schizophrenia

$109.99

Archaeology of Spiritualities

$39.99

Reconnection

$84.99

Bone and Soft Tissue Tumors

$74.99

American Empire and the Canadian Oil Sands

$159.99

Organofluorine Chemistry

$329.99

British Imperial Policy And Decolonization 1938-64: Vol 1. 1938-1951

$29.99

Rural Women and Triple Exploitation in Korean Development

$39.99

Ada's Violin

$7.46

Microorganisms in the Deterioration and Preservation of Cultural Heritage

$59.99

I Want to be Mad for a While! (Hardcover)

$7.49

Inszenierungsarbeit und Kaufpraxis bei Personica-Objekten

$39.99

Proceedings of the 2nd International Conference on Building Innovations

$169.00

Mtterlichkeit als Beruf

$59.99

Sustainable Food Chains and Ecosystems

$149.00

The Sun Today

$12.99

Grundri der Gesamten Chirurgie

$54.99

Eye-Tracking in der Mathematik- und Naturwissenschaftsdidaktik

$37.99

The Dreamer Trilogy #1: Call Down the Hawk (Hardcover)

$14.99

Engaging in Educational Research

$159.99

Database Systems for Advanced Applications

$54.99

Oberflchenbehandlung mit Laserstrahlung

$119.00

Theory and Applications of Liquid Crystals

$54.99

Der Nutzen von ERP-Systemen

$69.99

Mechanisms of Systemic Regulation: AcidBase Regulation, Ion-Transfer and Metabolism

$84.99

Value Theory and Economic Progress: The Institutional Economics of J. Fagg Foster

$169.99

Qualitative Research in Applied Linguistics

$179.99

Smart Grid and Internet of Things

$69.99

Computational Intelligence Methods for Bioinformatics and Biostatistics

$54.99

Journalismus von der Insel Nairobi

$59.99

Der Risikopatient in der Anaesthesie

$69.99

Wie der Mensch seine Welt neu erschaffen hat

$9.99

Light Scattering in Inhomogeneous Atmospheres

$84.99

Ethical and Philosophical Issues in Medical Imaging, Multimodal Learning and Fusion Across Scales fo

$59.99

Smart Prisons

$109.99

Halogene: Elemente der siebten Hauptgruppe

$17.99

Carl Schmitt, Leo Strauss und "Der Begriff des Politischen"

$19.99

On the Problem of Empathy

$169.99

The Crime Analyst's Companion

$169.99

Distinction, Exclusivity and Whiteness

$54.99