José Luiz Fiadeiro / Pierre-Yves Schobbens (eds.)

Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Herausgegeben:Fiadeiro, José Luiz; Schobbens, Pierre-Yves

• Broschiertes Buch

Produktbeschreibung

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP - A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.

Produktdetails

• Theoretical Computer Science and General Issues 4409
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12049424, 978-3-540-71997-7
• Seitenzahl: 184
• Erscheinungstermin: 24. April 2007
• Englisch
• Abmessung: 235mm x 155mm x 11mm
• Gewicht: 272g
• ISBN-13: 9783540719977
• ISBN-10: 3540719970
• Artikelnr.: 22770130

Autorenporträt

José Luiz Fiadeiro, University of Leicester, UK / Pierre-Yves Schobbens, Faculté Universitaires Notre-Dame de la Paix, Namur, Belgium

Inhaltsangabe

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP - A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.