Algebraic System Specification and Development

This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.

Inhalt
Basic foundations.- Models and logics.- Development concepts.- Support tools.- Applications.