Description: Formal Aspects of Component Software by Kyungmin Bae, Peter Csaba Ölveczky 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Table of Contents 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. Details ISBN3030021459 Language English Year 2018 ISBN-10 3030021459 ISBN-13 9783030021450 Format Paperback Pages 297 Publication Date 2018-10-07 Short Title Formal Aspects of Component Software DOI 10.1007/978-3-030-02146-7 Series Number 11222 Edition 1st Imprint Springer Nature Switzerland AG Place of Publication Cham Country of Publication Switzerland Illustrations 83 Illustrations, black and white; XII, 297 p. 83 illus. Author Peter Csaba Ölveczky Publisher Springer Nature Switzerland AG Edition Description 1st ed. 2018 Subtitle 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings Edited by Peter Csaba Ölveczky DEWEY 004.0151 Audience Professional & Vocational Series Lecture Notes in Computer Science We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:131596764;
Price: 115.04 AUD
Location: Melbourne
End Time: 2025-02-08T03:54:51.000Z
Shipping Cost: 9.49 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783030021450
Book Title: Formal Aspects of Component Software
Number of Pages: 297 Pages
Language: English
Publication Name: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Publisher: Springer Nature Switzerland Ag
Publication Year: 2018
Subject: Computer Science
Item Height: 235 mm
Item Weight: 480 g
Type: Textbook
Author: Kyungmin Bae, Peter Csaba Oelveczky
Item Width: 155 mm
Format: Paperback
