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

Krankheit und Sozialisation

$59.99

The Horizontal Metropolis Between Urbanism and Urbanization

$299.99

Studies on the Morphology of the Sensory Regions of the Vestibular Apparatus

$54.99

The Working Class in the Labour Market

$54.99

Engineering Research Methodology

$169.99

Volkscharakter und Wirtschaft

$59.99

Prevention and Control of Infectious Diseases in BRI Countries

$59.99

Chefsache Arbeitsrecht I

$29.99

Sustainable Manufacturing

$129.00

Cardiac Cellular Electrophysiology

$129.00

Factors and Factorizations of Graphs

$59.99

Achieving Dynamism in an Anaemic Europe

$109.99

Grid Middleware and Services

$169.99

Punctuated Peace in Nigerias Oil Region

$109.99

Artificial Intelligence Application in Networks and Systems

$219.99

Handling of Unyielding Complaints in China

$84.99

Video Object Tracking

$44.99

Intelligent Computing in Engineering

$219.99

Gleisberechnungen mit Tabellen und aus der Praxis entnommenen zahlreichen Beispielen

$39.99

Advances in Mexican Limnology: Basic and Applied Aspects

$39.99

Gastric Cancer Prewarning and Early Diagnosis System

$169.99

Der Einsatz radioaktiver Isotope bei Zerspanungsuntersuchungen

$54.99

Integer Programming and Combinatorial Optimization

$54.99

Business Computing mit MS-Office 2003 und Internet

$44.95

Advances in Biomedical Sensing, Measurements, Instrumentation and Systems

$129.00

Geopedology

$139.99

Paradigm Structure and Predictability in Latin Inflection

$119.99

I Am Brave!: An Acorn Book (Princess Truly #5)

$3.74

Education Policy Reform Trends in G20 Members

$84.99

Geometrical Geodesy

$219.99

Peptides 1990

$54.99

Environmental Concerns and Sustainable Development

$129.00

Lenkverfahren

$59.99

Nasser at War

$109.99

Externe Referenzpreise

$119.99

Computer Science CACIC 2020

$54.99

A Darkling Plain

$11.24

Theatre of Good Intentions

$84.99

AIP Handbook of Condenser Microphones

$249.99

The Criminal Justice System

$109.99