E-Book, Englisch, 251 Seiten, eBook
Proença / Lumpe Formal Aspects of Component Software
1. Auflage 2017
ISBN: 978-3-319-68034-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
E-Book, Englisch, 251 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-319-68034-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
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.