Algebraic System Specification and Development

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.

Download Now
Author
Publisher Springer Science & Business Media
Release Date
ISBN 9783540540601
Pages 98 pages
Rating 4/5 (01 users)

More Books:

Algebraic System Specification and Development
Language: en
Pages: 98
Authors: M. Bidoit (et.al)
Categories: Computers
Type: BOOK - Published: 1991-06-26 - Publisher: Springer Science & Business Media

GET EBOOK

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 differe
Algebraic Foundations of Systems Specification
Language: en
Pages: 616
Authors: Egidio Astesiano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 433
Authors: Francesco Parisi-Presicce
Categories: Computers
Type: BOOK - Published: 1998-03-11 - Publisher: Springer Science & Business Media

GET EBOOK

Spine title: WADT '97.
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 584
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 223
Authors: Phillip James
Categories: Computers
Type: BOOK - Published: 2017-12-07 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WA
Algebraic Methodology and Software Technology
Language: en
Pages: 392
Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 2006-09-27 - Publisher: Springer

GET EBOOK

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers
Mechanizing Mathematical Reasoning
Language: en
Pages: 563
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2005-02-23 - Publisher: Springer Science & Business Media

GET EBOOK

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Language: en
Pages: 556
Authors: S. Abramsky
Categories: Computers
Type: BOOK - Published: 2001-01-25 - Publisher: OUP Oxford

GET EBOOK

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of
Design and Implementation of Symbolic Computation Systems
Language: en
Pages: 383
Authors: Alfonso Miola
Categories: Computers
Type: BOOK - Published: 1993-09-02 - Publisher: Springer Science & Business Media

GET EBOOK

This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden
Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 237
Authors: Ingo Classen
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: World Scientific

GET EBOOK

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi