This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic

"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

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introd