The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software by Armand PuccettiThe Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software by Armand Puccetti

The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific…

EditorArmand PuccettiContribution byD. Brocard, P. Gagert

Paperback | July 24, 1991

Pricing and Purchase Info

$170.48 online 
$193.95 list price save 12%
Earn 852 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book presents the main results of Project 1158 "ATES" in the Subprogramme "Software Technology" of ESPRIT, the European Strategic Programme for Research and Development in Information Technology supported by the European Communities. The ATES system integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification. A finite element software library has been developed to evaluate the potential of these advances for large-scale scientific and technical software packages. The systematic and pragmatic approach to software design suggested by the ATES method may help software engineers to increase the quality of industrial software, by using on a wider scale abstract programming languages and compliance checking techniques.
Title:The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific…Format:PaperbackDimensions:349 pagesPublished:July 24, 1991Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540541888

ISBN - 13:9783540541882

Look for similar items by category:

Reviews