Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

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.

Zusammenfassung

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.

Produktdetails

• Mitarbeit: Philli James (Herausgeber), Phillip James (Herausgeber), Roggenbach (Herausgeber), Roggenbach (Herausgeber), Markus Roggenbach (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 01.01.2017
• EAN: 9783319720432
• ISBN: 978-3-31-972043-2
• Seiten: 223
• Abmessung: 158 mm x 13 mm x 234 mm
• Gewicht: 365 g
• Illustration: X, 223 p. 28 illus.
• Serien: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik; C, Software Engineering, mathematische Grundlagen, Mathematik: Logik, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical theory of computation, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Mathematical logic, Mathematical Logic and Foundations, Mathematical foundations, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Computer Modelling, Formal Languages and Automata Theory, Compilers and Interpreters