Book of Donmon Teith

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su

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

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

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefull