Algebraic Foundations Of Systems Specification

Author : Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner
Publisher : Springer Science & Business Media
Page : 626 pages
File Size : 49,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9783642598517

Get Book

Algebraic Foundations of Systems Specification by Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner Pdf

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Author : Donald Sannella,Andrzej Tarlecki
Publisher : Springer Science & Business Media
Page : 584 pages
File Size : 53,5 Mb
Release : 2012-01-05
Category : Computers
ISBN : 9783642173363

Get Book

Foundations of Algebraic Specification and Formal Software Development by Donald Sannella,Andrzej Tarlecki Pdf

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 toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

Author : Hartmut Ehrig,Bernd Mahr
Publisher : Springer Science & Business Media
Page : 429 pages
File Size : 51,9 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9783642612848

Get Book

Fundamentals of Algebraic Specification 2 by Hartmut Ehrig,Bernd Mahr Pdf

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Author : Hartmut Ehrig,Bernd Mahr
Publisher : Springer Science & Business Media
Page : 460 pages
File Size : 54,8 Mb
Release : 1989-12-28
Category : Mathematics
ISBN : 3540517995

Get Book

Fundamentals of Algebraic Specification 2 by Hartmut Ehrig,Bernd Mahr Pdf

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Author : Michel Bidoit
Publisher : Springer Science & Business Media
Page : 116 pages
File Size : 40,9 Mb
Release : 1991-06-26
Category : Computers
ISBN : 3540540601

Get Book

Algebraic System Specification and Development by Michel Bidoit Pdf

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.

Author : Maura Cerioli,Gianna Reggio
Publisher : Springer
Page : 348 pages
File Size : 47,8 Mb
Release : 2003-07-31
Category : Computers
ISBN : 9783540456452

Get Book

Recent Trends in Algebraic Development Techniques by Maura Cerioli,Gianna Reggio Pdf

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.

Author : Bastian Dölle
Publisher : Cuvillier Verlag
Page : 173 pages
File Size : 51,6 Mb
Release : 2007
Category : Electronic
ISBN : 9783867274524

Get Book

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement by Bastian Dölle Pdf

Author : Armando M. Haeberer
Publisher : Springer Science & Business Media
Page : 542 pages
File Size : 45,9 Mb
Release : 1998-12-15
Category : Computers
ISBN : 9783540654629

Get Book

Algebraic Methodology and Software Technology by Armando M. Haeberer Pdf

AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Enschede, The Netherlands (1993), in Montreal, Canada (1995), in Munich, Germany (1996), and in Sydney, Australia (1997). This time it is Brazil’s turn, in a very special part of this colorful country – Amazonia. Thus, “if we have done more it is by standing on the shoulders of giants.” The effort started by Teodor Rus, Arthur Fleck, and William A. Kirk at AMAST’89 was consolidated in AMAST'91 by Teodor Rus, Maurice Nivat, Charles Rattray, and Giuseppe Scollo. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997.

Author : Teodor Rus
Publisher : Springer
Page : 545 pages
File Size : 46,5 Mb
Release : 2003-06-26
Category : Computers
ISBN : 9783540454991

Get Book

Algebraic Methodology and Software Technology by Teodor Rus Pdf

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.

Author : Martin Wirsing,Dirk Pattinson
Publisher : Springer Science & Business Media
Page : 466 pages
File Size : 50,6 Mb
Release : 2003-11-24
Category : Computers
ISBN : 9783540205371

Get Book

Recent Trends in Algebraic Development Techniques by Martin Wirsing,Dirk Pattinson Pdf

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Author : S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum
Publisher : OUP Oxford
Page : 556 pages
File Size : 47,5 Mb
Release : 2001-01-25
Category : Computers
ISBN : 9780191546273

Get Book

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures by S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum Pdf

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

Author : José Luiz Fiadeiro,Peter Mosses,Fernando Orejas
Publisher : Springer
Page : 280 pages
File Size : 46,7 Mb
Release : 2005-02-26
Category : Computers
ISBN : 9783540319597

Get Book

Recent Trends in Algebraic Development Techniques by José Luiz Fiadeiro,Peter Mosses,Fernando Orejas Pdf

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques.

Author : Didier Bert,Christine Choppy,Peter Mosses
Publisher : Springer
Page : 490 pages
File Size : 46,6 Mb
Release : 2004-02-02
Category : Computers
ISBN : 9783540446163

Get Book

Recent Trends in Algebraic Development Techniques by Didier Bert,Christine Choppy,Peter Mosses Pdf

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.

Author : Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseguer
Publisher : Springer
Page : 650 pages
File Size : 55,6 Mb
Release : 2006-06-21
Category : Computers
ISBN : 9783540354642

Get Book

Algebra, Meaning, and Computation by Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseguer Pdf

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

Author : Hartmut Ehrig,Bernd Mahr
Publisher : Springer Science & Business Media
Page : 333 pages
File Size : 43,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9783642699627

Get Book

Fundamentals of Algebraic Specification 1 by Hartmut Ehrig,Bernd Mahr Pdf

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.