FACS 2010: Guimarães, Portugal
Luís Soares Barbosa, Markus Lumpe (Eds.): Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 6921 ISBN 978-3-642-27268-4- Sanjit A. Seshia: Quantitative Analysis of Software: Challenges and Recent Advances. 1-5
- 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
- Sabina Rossi: Model Checking Adaptive Multilevel Service Compositions. 106-124
- 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
- Farhad Arbab: Will the Real Service Oriented Computing Please Stand Up? 277-285
- Ludwig Adam: Performance Verification in Complex Enterprise-Level Component Systems. 286-289
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-11T222820 by the dblp team