Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10644)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: WADT 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
-
Front Matter
-
Abstracts of Invited Talks
-
Front Matter
-
-
Full Papers of Invited Talks
-
Front Matter
-
-
Survey Papers
-
Front Matter
-
-
Regular Papers
-
Front Matter
-
-
Back Matter
Other volumes
-
Recent Trends in Algebraic Development Techniques
Keywords
About this book
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.
The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on 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 areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; andmultimedia applications and services.
Editors and Affiliations
Bibliographic Information
Book Title: Recent Trends in Algebraic Development Techniques
Book Subtitle: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Editors: Phillip James, Markus Roggenbach
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-72044-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2017
Softcover ISBN: 978-3-319-72043-2Published: 08 December 2017
eBook ISBN: 978-3-319-72044-9Published: 07 December 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 223
Number of Illustrations: 28 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Mathematical Logic and Foundations
