TY  - BOOK
AU  - James,Phillip
AU  - Roggenbach,Markus
ED  - SpringerLink (Online service)
TI  - Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319720449
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer logic
KW  - Mathematical logic
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer simulation
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
KW  - Mathematical Logic and Foundations
N2  - 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; and multimedia applications and services
UR  - https://doi.org/10.1007/978-3-319-72044-9
ER  -