![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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 - 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 - 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 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 - Hugo Daniel Macedo, José Nuno Oliveira
:
Towards Linear Algebras of Components. 300-303
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.