Sold Out
Sold Out
Book Categories |
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.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionThe Programming and proof systems ATES
X
This Item is in Your InventoryThe Programming and proof systems ATES
X
You must be logged in to review the productsX
X
X
Add The Programming and proof systems ATES, 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 , The Programming and proof systems ATES to the inventory that you are selling on WonderClubX
X
Add The Programming and proof systems ATES, 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 , The Programming and proof systems ATES to your collection on WonderClub |