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

proceedings of the symposium. Somecontributorswereunabletoattendthe event.

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines

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

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of