Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification
Author: Egidio Astesiano
Publisher: Springer Science & Business Media
Total Pages: 626
Release: 2012-12-06
Genre: Computers
ISBN: 364259851X

Download Algebraic Foundations of Systems Specification Book in PDF, Epub and Kindle

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.


Algebraic Foundations of Systems Specification
Language: en
Pages: 626
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
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
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
Fundamentals of Algebraic Specification 1
Language: en
Pages: 333
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 carefull
Algebraic Foundations of Sysstems Specification
Language: en
Pages: 616
Authors: E. Astesino
Categories: Electronic books
Type: BOOK - Published: 1999 - Publisher:

GET EBOOK

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key
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