Algebraic System Specification and Development

Beschreibung

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.

Autor*in

Michel Bidoit

Themen in »Algebraic System Specification and Development«

algebra category theory development formal specification language programming programming language semantics software structured analysis system specification

Stimmen zu »Algebraic System Specification and Development«

Details

Link teilen