Limit search to available items
Book Cover
E-book
Author WADT (Workshop) (23rd : 2016 : Gregynog Hall, Wales)

Title Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers / Phillip James, Markus Roggenbach (eds.)
Published Cham, Switzerland : Springer, 2017

Copies

Description 1 online resource (x, 223 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 10644
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 10644. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Intro -- Preface -- Organization -- Contents -- Abstracts of Invited Talks -- Advances in Verification of Multi-agent Systems -- References -- The Distributed Ontology, Model and Specification Language -- DOL -- References -- Full Papers of Invited Talks -- Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations -- 1 Introduction -- 2 Concepts and Principles of Monitoring and Interventions -- 2.1 The Approach -- 2.2 Conceptual Framework for Monitoring -- 3 Monitoring Behaviour Modelled by Streams -- 3.1 Monitoring Streams -- 3.2 Storage -- 3.3 Interventions for Streams
4 Monitoring in Organisations -- 4.1 Why Employee Monitoring? -- 4.2 What Might Be Monitored and How? -- 4.3 Organisational Web Monitoring -- 5 Stream Model of Organisation Monitoring: Context -- 5.1 Organisation: Entities, Identity and Characteristics -- 5.2 Web Examples -- 5.3 Modelling Web Behaviour -- 6 Stream Model of Organisation Monitoring: Observation, Judgement, Monitoring -- 6.1 Web Content Observation -- 6.2 Data Usage Observation -- 6.3 Records -- 6.4 Monitoring -- 7 Stream Model of Organisation Monitoring: Storage -- 7.1 Histories, Thresholds and Queries
7.2 Data and Operations for Storage -- 8 Interventions -- 9 Concluding Remarks -- 9.1 The Monitoring Stack -- 9.2 Next Steps -- References -- Survey Papers -- Asymmetric Combination of Logics is Functorial: A Survey -- 1 Introduction -- 1.1 Motivation and Context -- 1.2 Contributions and Roadmap -- 2 Combination of Logics: A Brief Overview -- 3 Asymmetric Combination of Logics (Institutionally) -- 3.1 Institutions -- 3.2 An Institutional Rendering of Asymmetric Combinations of Logics -- 4 Asymmetric Combinations of Logics as Functors -- 4.1 Lifting Comorphisms
4.2 Property Preservation (Conservativity and Equivalence) -- 4.3 Natural Transformations -- 5 Conclusions and Future Work -- References -- Algebraic Model Management: A Survey -- 1 Introduction -- 2 Model Management -- 2.1 Schema Mapping -- 2.2 Query Generation -- 2.3 Mapping Inversion -- 2.4 Mapping Composition -- 2.5 Schema Matching -- 2.6 Further References -- 3 Algebraic Model Management -- 3.1 Algebraic Databases -- 3.2 Schema Mapping -- 3.3 Query Generation -- 3.4 Mapping Composition -- 3.5 Mapping Inversion -- 3.6 Schema Matching -- 4 Conclusion -- References -- Regular Papers
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) -- 1 Introduction -- 1.1 A Survey of Design Options for the Inverse of 0 -- 1.2 Working with Involutive Ring Based Meadows -- 2 Boolean Algebras and Meadows -- 2.1 Boolean Algebras -- 2.2 Valuated Boolean Algebras and Some Naming Conventions -- 2.3 Events and Signed Meadows -- 3 Signed Meadow Based Probability Calculus -- 3.1 Equational Axioms for a Probability Function -- 3.2 Conditional Probability as a Total Operator: Four Options -- 3.3 Independence of Events
Summary 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
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed December 14, 2017)
Subject Computer software -- Development -- Congresses
Computer science -- Mathematics -- Congresses
Formal methods (Computer science) -- Congresses
Mathematical theory of computation.
Software Engineering.
Programming & scripting languages: general.
Computer modelling & simulation.
Mathematical foundations.
Computer programming -- software development.
Mathematics -- Logic.
Computers -- Software Development & Engineering -- General.
Computers -- Programming Languages -- General.
Computers -- Computer Simulation.
Computers -- Programming -- General.
Computer science -- Mathematics.
Computer software -- Development.
Formal methods (Computer science)
Genre/Form Electronic books
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author James, Phillip (Phillip D.), editor.
Roggenbach, Markus, editor.
ISBN 9783319720449
3319720449
3319720430
9783319720432
Other Titles WADT 2016