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.

Algebraic System Specification and Development

Author: M. Bidoit (et.al)

Publisher: Springer Science & Business Media

ISBN: 9783540540601

Page: 98

View: 904

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.

Related Books:

Algebraic System Specification and Development
Language: en
Pages: 98
Authors: M. Bidoit (et.al), Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Springer Science & Business Media

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.
ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT
Language: it
Pages: 98
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

Books about ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 584
Authors: Donald Sannella, Andrzej Tarlecki
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical
Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 237
Authors: Ingo Classen, Hartmut Ehrig, Dietmar Wolz
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: World Scientific

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
Algebraic System Specification and Development
Language: en
Pages: 230
Authors: Maura Cerioli
Categories: Computers
Type: BOOK - Published: 1998 - Publisher:

Books about Algebraic System Specification and Development