Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Front Cover
Josť Luiz Fiadeiro, Pierre-Yves Schobbens
Springer, Jun 20, 2007 - Computers - 174 pages

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

A Temporal Graph Logic for Verification of Graph Transformation Systems
1
On the Algebraization of ManySorted Logics
21
Algebraic Semantics of Service Component Modules
37
Autonomous Units and Their Semantics The Parallel Case
56
Reasoning Support for Casl with Automated Theorem Proving Systems
74
Structured CSP A Process Algebra as an Institution
92
Incremental Resolution of Model Inconsistencies
111
Coalgebraic Modal Logic in COCASL
127
System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
142
A CoAlgebraic Analysis of Synchronization in CSP
156
Author Index
171
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information