Cover Image

The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /

Show other versions (1)

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 t...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Puccetti, A. (Armand), 1961-, Brocard, D.
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Research reports ESPRIT. ATES ; vol. 1.
Subjects:
Computer programming.
Automatic theorem proving.
Computer software > Development.
Ordinateurs > Programmation.
Logiciels > Développement.
Théorèmes > Démonstration automatique.
Langages de programmation.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 341 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783642845420 (electronic bk.)
3642845428 (electronic bk.)