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

"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

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for