default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFACS 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
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.
last updated on 2025-06-06 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
