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

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

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev

This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2