This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a

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

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

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

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As