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

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: José Luiz Fiadeiro (Editore), Pierre-Yves Schobbens (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 24.04.2007
• EAN: 9783540719977
• ISBN: 978-3-540-71997-7
• Pagine: 174
• Dimensioni: 155 mm x 10 mm x 235 mm
• Peso: 272 g
• Illustrazioni: VIII, 174 p.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Software Engineering, Theoretische Informatik, Mathematik für Informatiker, computer science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Operating systems, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Mathematical logic, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory