Advertisement

Recent Trends in Algebraic Development Techniques

24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

  • José Luiz Fiadeiro
  • Ionuț Țuțu
Conference proceedings WADT 2018

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

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

Table of contents

  1. Front Matter
    Pages i-ix
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Survey Papers

    1. Front Matter
      Pages 25-25
    2. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
      Pages 27-44
  4. Contributed Papers

    1. Front Matter
      Pages 45-45
    2. Liang-Ting Chen, Markus Roggenbach, John V. Tucker
      Pages 47-66
    3. Martin Glauer, Till Mossakowski
      Pages 67-86
    4. Alexander Knapp, María Victoria Cengarle
      Pages 119-138
    5. Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer
      Pages 139-153
    6. Florian Rabe, Dennis Müller
      Pages 154-173
  5. Back Matter
    Pages 175-175

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. 
 The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic
integration, relational databases, and service-oriented computing.

Keywords

CASL communicating finite state machines Event-B fuzzy logics temporal logics graph transformation Maude MMT module systems module parameterization neural-symbolic integration refinement relational databases service-oriented computing SRML static analysis

Editors and affiliations

  • José Luiz Fiadeiro
    • 1
  • Ionuț Țuțu
    • 2
  1. 1.Royal Holloway University of LondonEghamUK
  2. 2.Simion Stoilow Institute of Mathematics of the Romanian AcademyBucharestRomania

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-23220-7
  • Copyright Information IFIP International Federation for Information Processing 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-23219-1
  • Online ISBN 978-3-030-23220-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace