Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

by Egidio Astesiano

Part of IFIP state-of-the-art reports

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current 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. The book is an outcome of IFIP WG 1.3 (Foundations of Systems Specification) in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI (Common Framework Initiative for Algebraic Specification and Development) project. It is aimed at system developers, researchers, and students.

Discuss Algebraic Foundations of Systems Specification with other readers

Join or start a book club for Algebraic Foundations of Systems Specification on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Algebraic Foundations of Systems Specification?

Sign up free on Readfeed, then browse public clubs or start your own club with Algebraic Foundations of Systems Specification as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Algebraic Foundations of Systems Specification with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Algebraic Foundations of Systems Specification with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.