1 | -- | 2 | Jens Happe, Barbora Buhnova. Preface |
3 | -- | 17 | Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug. Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations |
19 | -- | 34 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-Automatic Specification of Behavioural Service Adaptation Contracts |
35 | -- | 53 | Ludovic Henrio, Muhammad Uzair Khan. Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL |
55 | -- | 71 | Kamil Jezek, Premek Brada, Petr Stepan. Towards Context Independent Extra-functional Properties Descriptor for Components |
73 | -- | 90 | Lucia Kapová, Steffen Becker. Systematic Refinement of Performance Models for Concurrent Component-based Systems |
91 | -- | 105 | Ioan Lazar, Simona Motogna, Bazil Pårv. Behaviour-Driven Development of Foundational UML Components |
107 | -- | 123 | Matias Lee, Pedro R. D Argenio. Describing Secure Interfaces with Interface Automata |
125 | -- | 139 | Philip Mayer, Andreas Schroeder, Sebastian S. Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations |