Algebraic System Specification and Development

Algebraic System Specification and Development

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.

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

More Books:

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

GET EBOOK

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europ
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
Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 268
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
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
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: 573
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
Fundamentals of Algebraic Specification 2
Language: en
Pages: 460
Authors: Hartmut Ehrig
Categories: Mathematics
Type: BOOK - Published: 1989-12-28 - Publisher: Springer Science & Business Media

GET EBOOK

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for
Algebraic Specification Techniques in Object Oriented Programming Environments
Language: en
Pages: 248
Authors: Ruth Breu
Categories: Computers
Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media

GET EBOOK

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The desi
Design and Implementation of Symbolic Computation Systems
Language: en
Pages: 404
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