The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Man