Algebraic System Specification and Development

Released on by M. Bidoit (et.al)
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

Algebraic System Specification and Development

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

Algebraic Foundations of Systems Specification

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

Recent Trends in Algebraic Development Techniques

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

Foundations of Algebraic Specification and Formal Software Development

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

Recent Trends in Algebraic Development Techniques

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

Algebraic Methodology and Software Technology

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

Mechanizing Mathematical Reasoning

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

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

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

Design and Implementation of Symbolic Computation Systems

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

Algebraic Specification Techniques and Tools for Software Development

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