Buch, Englisch, Band 10487, 251 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4044 g
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Buch, Englisch, Band 10487, 251 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4044 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-68033-0
Verlag: Springer Nature Switzerland
The 14 full papers presented were carefully reviewed and selected from 26 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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Component-Based Modeling in Mediator.- A Component-oriented Framework for Autonomous Agents.- Coordination of Dynamic Software Components with JavaBIP.- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache.- Guarded Terms for Rewriting Modulo SMT.- On Weighted Configuration Logics.- Compositional Model Checking is Lively.- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.- TOM: a Model-Based GUI Testing Framework.- Correctness-by-learning of Infinite-state Component-based Sytems.- The Implementation of Object Propositions: the Oprop Verification Tool.- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.- Fault Localization in Service Compositions.- Correct Composition of Dephased Behavioural Models.