International Workshop on Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

  • Mihai Codescu
  • Răzvan Diaconescu
  • Ionuț Țuțu

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9463)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Christoph Benzmüller, Bruno Woltzenlogel Paleo
      Pages 3-6
  3. Contributed Papers

    1. Front Matter
      Pages 7-7
    2. Claudia Elena Chiriţă, Traian Florin Şerbănuţă
      Pages 9-29
    3. Ştefan Ciobâcă, Dorel Lucanu, Vlad Rusu, Grigore Roşu
      Pages 30-47
    4. Marie Fortin, Marcello M. Bonsangue, Jan Rutten
      Pages 48-68
    5. Till Mossakowski, Ulf Krumnack, Tom Maibaum
      Pages 90-109
    6. Marcos Oliveira Jr., Leila Ribeiro, Érika Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis
      Pages 110-130
    7. Ignacio Vissani, Carlos Gustavo Lopez Pombo, Ionuţ Ţuţu, José Luiz Fiadeiro
      Pages 131-150
  4. Back Matter
    Pages 171-171

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.
The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, 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

differential equations distributed systems hybrid transition systems model checking use cases algebraic specification empirical study formal specification and formal testing functional programming graph transformation logic programming maude mobile systems model-driven development object-oriented operational semantics process calculi term rewriting type systems

Editors and affiliations

  • Mihai Codescu
    • 1
  • Răzvan Diaconescu
    • 2
  • Ionuț Țuțu
    • 3
  1. 1.Otto-von-Guericke-Universität MagedeburgMagdeburgGermany
  2. 2.Simion Stoilow Institute of MathematicsBucharestRomania
  3. 3.Royal Holloway University of LondonEghamUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-28114-8
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-28113-1
  • Online ISBN 978-3-319-28114-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book