Recent Trends in Algebraic Development Techniques

21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

  • Narciso Martí-Oliet
  • Miguel Palomino
Conference proceedings WADT 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7841)

Table of contents

  1. Front Matter
    PDF
  2. Open Multiparty Interaction
    Chiara Bodei, Linda Brodo, Roberto Bruni
    Pages 1-23
    PDF
  3. Behaviour Protection in Modular Rule-Based System Specifications
    Francisco Durán, Fernando Orejas, Steffen Zschaler
    Pages 24-49
    PDF
  4. Quantitative Modal Transition Systems
    Kim G. Larsen, Axel Legay
    Pages 50-58
    PDF
  5. Bounded Model Checking of Recursive Programs with Pointers in K
    Irina Măriuca Asăvoae, Frank de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
    Pages 59-76
    PDF
  6. A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
    Lucian Bentea, Peter Csaba Ölveczky
    Pages 77-94
    PDF
  7. Adaptable Transition Systems
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
    Pages 95-110
    PDF
  8. Compiling Logics
    Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
    Pages 111-126
    PDF
  9. Transformation Systems with Incremental Negative Application Conditions
    Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
    Pages 127-142
    PDF
  10. Statistical Model Checking for Composite Actor Systems
    Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
    Pages 143-160
    PDF
  11. Barbed Semantics for Open Reactive Systems
    Fabio Gadducci, Giacoma Valentina Monreale
    Pages 161-177
    PDF
  12. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
    Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
    Pages 178-194
    PDF
  13. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
    Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno M. Aguirre, Thomas S. E. Maibaum
    Pages 195-211
    PDF
  14. Semantics of the Distributed Ontology Language: Institutes and Institutions
    Till Mossakowski, Oliver Kutz, Christoph Lange
    Pages 212-230
    PDF
  15. Formal Specification of the Kademlia and the Kad Routing Tables in Maude
    Isabel Pita, María-Inés Fernández-Camacho
    Pages 231-247
    PDF
  16. A Generic Program Slicing Technique Based on Language Definitions
    Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae
    Pages 248-264
    PDF
  17. Distances between Processes: A Pure Algebraic Approach
    David Romero Hernández, David de Frutos Escrig
    Pages 265-282
    PDF
  18. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain.
The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.

Keywords

concurrent semantics formal analysis maude model checking rewriting logic

Editors and affiliations

  • Narciso Martí-Oliet
    • 1
  • Miguel Palomino
    • 1
  1. 1.Facultad de Informática, Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-37635-1
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37634-4
  • Online ISBN 978-3-642-37635-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace