Community Research and Development Information Service - CORDIS


The project on Advanced Techniques integration into Efficient Scientific software (ATES) forms part of the sub-programme "Software Technology" of ESPRIT. It integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focusses on recent developments concerning abstraction of data types, database 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.

Additional information

Authors: PUCCETTI A (EDITOR), CISI Ingénierie, Rungis (FR)
Bibliographic Reference: EUR 13548 EN (1991) 341 pp.
Availability: Springer-Verlag GmbH & Co. KG, Postfach 10 52 80, Tiergartenstrasse 17, D-6900 Heidelberg 1 (DE)
ISBN: ISBN 3-540-54188-8
Record Number: 199111044 / Last updated on: 1994-12-02
Original language: en
Available languages: en