04543nam a22005775i 4500 978-3-030-02146-7 DE-He213 20210624214959.0 cr nn 008mamaa 181006s2018 gw | s |||| 0|eng d 9783030021467 978-3-030-02146-7 10.1007/978-3-030-02146-7 doi QA76.758 UMZ bicssc COM051230 bisacsh UMZ thema 005.1 23 Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky. 1st ed. 2018. Cham : Springer International Publishing : Imprint: Springer, 2018. XII, 297 p. 83 illus. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Programming and Software Engineering ; 11222 What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. Software engineering. Programming languages (Electronic computers). Computer programming. Mathematical logic. Computer logic. Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029 Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037 Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010 Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048 Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 https://orcid.org/0000-0002-6430-5175 edt http://id.loc.gov/vocabulary/relators/edt Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 https://orcid.org/0000-0002-0708-3721 edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) Springer Nature eBook Printed edition: 9783030021450 Printed edition: 9783030021474 Programming and Software Engineering ; 11222 https://doi.org/10.1007/978-3-030-02146-7 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC Computer Science (SpringerNature-11645) Computer Science (R0) (SpringerNature-43710)