The Programming and Proof System ATES
Advanced Techniques Integration into Efficient Scientific Software
Buch in deiner Nähe kaufen
Beschreibung
This ESPRIT project 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.
Autor*in
Armand Puccetti
Themen in »The Programming and Proof System ATES«
Abstract Data Types Abstrakte Datentypen Automatisches Beweisen Datentyp Formal Specifications Formale Spezifikation Program Verification Programmverifikation Software Engineering Software-Engineering Softwareentwicklung Theorem Proving algorithms design development