Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Till Mossakowski

    1. DFKI, Cyber-Physical Systems, Deutsches Forschungszentrum für künstliche Intelligenz, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans-Jörg Kreowski

    1. Mathematik und Informatik, Universität Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WADT 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Building a Modal Interface Theory for Concurrency and Data

      • Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
      Pages 1-12

    2. My ADT Shrine

      • Hans-Dieter Ehrich
      Pages 13-24

    3. Evolving SOA in the Q-ImPrESS Project

      • Jan Kofroň, František Plášil
      Pages 25-26

  3. Contributed Papers

    1. Sharing in the Graph Rewriting Calculus

      • Paolo Baldan, Clara Bertolissi
      Pages 27-41

    2. A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions

      • Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo
      Pages 42-60

    3. Towards a First-Order Deontic Action Logic

      • Pablo F. Castro, Tom S. E. Maibaum
      Pages 61-75

    4. Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation

      • Christine Choppy, Gianna Reggio
      Pages 76-97

    5. Lambda Expressions in Casl Architectural Specifications

      • Mihai Codescu
      Pages 98-117

    6. A Proof Theoretic Interpretation of Model Theoretic Hiding

      • Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
      Pages 118-138

    7. Towards Logical Frameworks in the Heterogeneous Tool Set Hets

      • Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
      Pages 139-159

    8. An Institution for Graph Transformation

      • Andrea Corradini, Fabio Gadducci, Leila Ribeiro
      Pages 160-174

    9. New Results on Timed Specifications

      • Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman et al.
      Pages 175-192

    10. Combining Graph Transformation and Algebraic Specification into Model Transformation

      • Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
      Pages 193-208

    11. Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum

      • Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
      Pages 209-225

    12. Algebraic Signatures Enriched by Dependency Structure

      • Grzegorz Marczyński
      Pages 226-250

    13. Compositional Modelling and Reasoning in an Institution for Processes and Data

      • Liam O’Reilly, Till Mossakowski, Markus Roggenbach
      Pages 251-269

    14. Proving Properties about Functions on Lists Involving Element Tests

      • Daniel Seidel, Janis Voigtländer
      Pages 270-286

    15. Test-Case Generation for Maude Functional Modules

      • Adrián Riesco
      Pages 287-301

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 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.

Editors and Affiliations

  • DFKI, Cyber-Physical Systems, Deutsches Forschungszentrum für künstliche Intelligenz, Bremen, Germany

    Till Mossakowski

  • Mathematik und Informatik, Universität Bremen, Bremen, Germany

    Hans-Jörg Kreowski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation