Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Autor Corporativo: | |
---|---|
Otros Autores: | , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Programming and Software Engineering ;
10487 |
Materias: |
Tabla de Contenidos:
- 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.