The Programming and proof systems ATES [electronic resource] : advanced techniques integration into efficient scientific software / Armand Puccetti (ed.) ; with contributions by D. Brocard [and others]
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
| Series: | Research reports ESPRIT. ATES ;
vol. 1. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b7981937 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100315s1991 gw a ob 000 0 eng d | ||
| 005 | 20240418143314.9 | ||
| 019 | |a 300996097 |a 1001504935 |a 1038462834 |a 1039505743 |a 1041056569 |a 1046617041 | ||
| 020 | |a 9783642845420 |q (electronic bk.) | ||
| 020 | |a 3642845428 |q (electronic bk.) | ||
| 020 | |z 3540541888 |q (Springer-Verlag Berlin Heidelberg New York ; |q alk. paper) | ||
| 020 | |z 9783540541882 |q (Springer-Verlag Berlin Heidelberg New York ; |q alk. paper) | ||
| 020 | |z 0387541888 |q (Springer-Verlag New York Berlin Heidelberg ; |q alk. paper) | ||
| 020 | |z 9780387541884 |q (Springer-Verlag New York Berlin Heidelberg ; |q alk. paper) | ||
| 035 | |a (OCoLC)spr555501031 | ||
| 035 | |a (OCoLC)555501031 |z (OCoLC)300996097 |z (OCoLC)1001504935 |z (OCoLC)1038462834 |z (OCoLC)1039505743 |z (OCoLC)1041056569 |z (OCoLC)1046617041 | ||
| 037 | |a spr978-3-642-84542-0 | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d GW5XE |d OCLCQ |d UAB |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.6 |b .P75138 1991 | |
| 245 | 0 | 4 | |a The Programming and proof systems ATES |h [electronic resource] : |b advanced techniques integration into efficient scientific software / |c Armand Puccetti (ed.) ; with contributions by D. Brocard [and others] |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1991. | ||
| 300 | |a 1 online resource (viii, 341 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Research reports ESPRIT. Project 1158, ATES ; |v vol. 1. | |
| 504 | |a Includes bibliographical references. | ||
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Computer programming. |0 http://id.loc.gov/authorities/subjects/sh85107310. | |
| 650 | 0 | |a Automatic theorem proving. |0 http://id.loc.gov/authorities/subjects/sh85010111. | |
| 650 | 0 | |a Computer software |x Development. |0 http://id.loc.gov/authorities/subjects/sh85029535. | |
| 650 | 7 | |a Automatic theorem proving. |2 fast |0 (OCoLC)fst00822777. | |
| 650 | 7 | |a Computer programming. |2 fast |0 (OCoLC)fst00872390. | |
| 650 | 7 | |a Computer software |x Development. |2 fast |0 (OCoLC)fst00872537. | |
| 700 | 1 | |a Puccetti, A. |q (Armand), |d 1961- |0 http://id.loc.gov/authorities/names/n91046611 |1 http://isni.org/isni/0000000083853201. | |
| 700 | 1 | |a Brocard, D. |0 http://id.loc.gov/authorities/names/n91046608. | |
| 776 | 0 | 8 | |i Print version: |t Programming and proof systems ATES. |d Berlin ; New York : Springer-Verlag, ©1991 |w (DLC) 91020311 |w (OCoLC)23869477. |
| 830 | 0 | |a Research reports ESPRIT. |n Project 1158, |p ATES ; |v vol. 1. |0 http://id.loc.gov/authorities/names/n91046614. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-642-84542-0 |z Full Text (via Springer) |
| 907 | |a .b79819370 |b 08-02-21 |c 06-01-15 | ||
| 998 | |a web |b 07-31-21 |c b |d b |e - |f eng |g gw |h 4 |i 1 | ||
| 907 | |a .b79819370 |b 08-02-21 |c 06-01-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |a Computer Science | ||
| 915 | |a - | ||
| 956 | |a Springer e-books: Archive | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i 8dcbc724-76ce-5cf0-bf92-3d77cf3f434a |s cf51855f-5964-5ff3-af6b-a52b27d515b7 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.6 .P75138 1991 |h Library of Congress classification |i Ebooks, Prospector |n 1 |