FACS 2010: Guimarães, Portugal

• 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
  
• B. 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
  
• Yijing Liu, Zongyan Qiu:
  A Separation Logic for OO Programs. 88-105
  
• 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 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
  
• Hugo Daniel Macedo, José Nuno Oliveira:
  Towards Linear Algebras of Components. 300-303
  

Last update Fri May 25 08:13:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page