Christine Choppy

Didier Bert

Peter Mosses

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.

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques

Ken Robinson

Jonathan P. Bowen

Martin C. Henson

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

ZB 2002: Formal Specification and Development in Z and B

Steve King

Marina Waldén

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

ZB 2003: Formal Specification and Development in Z and B

Didier Bert

Books

Your next favorite book is out there