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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Enabled Fog Computing in IoT

$179.99

Rezepte fr die Werkstatt

$69.99

Intersections of Religion and Migration

$169.99

Practical Apache Spark

$59.99

Challenging Mathematics In and Beyond the Classroom

$169.99

Big Data: Conceptual Analysis and Applications

$139.99

Every Man's Bible Nlt, Deluxe Explorer Edition (LeatherLike, Brown) by Tyndale

$59.99

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

$129.00

High Performance Computing

$79.99

Von der vollen zur teilweisen Vorspannung

$54.99

Information Retrieval

$54.99

Sptmoderne Jugend Erziehung des Beratens Wohlbefinden

$64.99

Integrated Ground-Based Observing Systems

$129.00

Theorie rationalen Handelns

$59.99

Commodities, Ports and Asian Maritime Trade Since 1750

$129.99

Biomedical Applications of Control Engineering

$89.00

Smart City

$84.99

Advances in Formal Design Methods for CAD

$169.00

Transfer of Learning

$89.00

Positive Semigroups of Operators, and Applications

$54.99

The Search for Fundamentals

$109.99

The Molecular Evolutionary Clock

$99.00

The Pursuit of Peace and the Crisis of Israeli Identity

$54.99

Neue Untersuchungen mit Gamma-Hydroxibuttersure

$109.99

Medienkompetenz von Studierenden an chinesischen Hochschulen

$49.99

What's So Good About Biodiversity?

$259.00

Deportation and Exile

$159.99

Advances in Modeling and Simulation

$84.99

Growth and Form

$74.99

Research on Old French: The State of the Art

$109.99

Ertragsbesteuerung der Unternehmenssanierung

$69.99

Wohnraum dem Markt entziehen?

$44.99

Muslim Women and Shari'ah Councils

$109.99

Confidencias de un superhroe

$5.96

Heilpdagogik

$84.99

Glcksspielfrei - Ein Therapiemanual bei Spielsucht

$44.99

From Dirac to Neutrino Oscillations

$169.99

Astrophysics

$54.99

Der Neorealismus in der internationalen Politik

$59.99

Der Absatz

$59.99