FACS 2010: Guimarães, Portugal
- Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 - Luís Caires, Hugo Torres Vieira:
Analysis of Service Oriented Software Systems with the Conversation Calculus. 6-33 - Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien:
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. 34-52 - Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw:
Monitoring Method Call Sequences Using Annotations. 53-70 - Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth:
An Introduction to Pervasive Interface Automata. 71-87 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Distributed Adaption of Dining Philosophers. 125-144 - Pascal André, Gilles Ardourel, Mohamed Messabihi:
Component Service Promotion: Contracts, Mechanisms and Safety. 145-162 - Daniel Côté, Michel Embe Jiague, Richard St.-Denis:
Systems-Theoretic View of Component-Based Software Development. 163-181 - Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. 182-199 - Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix:
Using Temporal Logic for Dynamic Reconfigurations of Components. 200-217 - Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla:
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. 218-236 - Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue:
Decomposition of Constraint Automata. 237-258 - Roberto Bruni, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. 259-276 - Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. 290-294 - Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. 295-299