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

Toward Mathematics for All

$129.00

The Banking Sector In Hong Kong

$109.99

New Soft Computing Techniques for System Modeling, Pattern Classification and Image Processing

$169.99

Total Materials Management

$84.99

Echo and Meaning on Early Modern English Stages

$44.99

Die Psychologie des Brexit

$19.99

Logistic Real Estate Investment and REITs in Europe

$79.99

Autophagy: Biology and Diseases

$249.99

William Blake's Manuscripts

$139.99

Politikfeld-Analysen 1979

$69.99

All About Dinosaurs

$3.71

Coach and Couch

$84.99

Focus, Evaluativity, and Antonymy

$79.99

Die therapeutische Vielfalt in der Depressionsbehandlung

$59.99

How Do Dinosaurs Say I'm Mad!

$5.96

Reinventing Public Service Communication

$39.99

A Critical Legal Study of the Ideology Behind Solvency II

$159.99

The Role of the Cyprus Attorney General's Office in Prosecutions: Rhetoric, Ideology and Practice

$129.00

The Demons of Science

$84.99

Class 5: Isomerases

$329.99

Vakuum-Metallurgie auf dem Gebiet der Nichteisen-Metalle / Anwendung der Vakuumbehandlung bei der St

$84.99

Konsumentenverstndnis

$37.99

Soft Computing Based Modeling in Intelligent Systems

$84.99

Harnessing Urban Innovation to Unlock the Sustainable Development Goals

$169.99

Surgical Treatment of Haemorrhoids

$74.99

Finite Simple Groups

$129.99

Next-Generation FTTH Passive Optical Networks

$109.99

City Responses to Disruptions in 2020

$109.00

Anstze kunsttherapeutischer Forschung

$79.99

Objektorientierte Referenzmodellierung

$44.99

Investment and Competitiveness in Africa

$159.99

Turn the Wheel

$109.99

Imaging, Vision and Learning Based on Optimization and PDEs

$54.99

Mehrzielorientiertes strategisches Controlling

$48.27

Ahuman Pedagogy

$169.99

Kapitalmarktorientierte Rechnungslegung

$39.99

Earth Sciences and Archaeology

$109.99

HP-41 im technisch-wissenschaftlichen Einsatz

$59.99

Soziale Benachteiligung und Gesundheit bei Kindern und Jugendlichen

$49.99

Inside NAND Flash Memories

$189.00