Abstract is missing.
- Quantitative Analysis of Software: Challenges and Recent AdvancesSanjit A. Seshia. 1-5 [doi]
- Analysis of Service Oriented Software Systems with the Conversation CalculusLuís Caires, Hugo Torres Vieira. 6-33 [doi]
- QoS Contract-Aware Reconfiguration of Component Architectures Using E-GraphsGabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien. 34-52 [doi]
- Monitoring Method Call Sequences Using AnnotationsBehrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw. 53-70 [doi]
- An Introduction to Pervasive Interface AutomataMuffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth. 71-87 [doi]
- A Separation Logic for OO ProgramsYijing Liu, Zongyan Qiu. 88-105 [doi]
- Model Checking Adaptive Multilevel Service CompositionsSabina Rossi. 106-124 [doi]
- Distributed Adaption of Dining PhilosophersSuzana Andova, Luuk Groenewegen, Erik P. de Vink. 125-144 [doi]
- Component Service Promotion: Contracts, Mechanisms and SafetyPascal André, Gilles Ardourel, Mohamed Messabihi. 145-162 [doi]
- Systems-Theoretic View of Component-Based Software DevelopmentDaniel Côté, Michel Embe Jiague, Richard St.-Denis. 163-181 [doi]
- Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic FrameworkDjedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi. 182-199 [doi]
- Using Temporal Logic for Dynamic Reconfigurations of ComponentsJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. 200-217 [doi]
- Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core LibrariesDiana V. Ramírez-Deantes, Jesús Correas, Germán Puebla. 218-236 [doi]
- Decomposition of Constraint AutomataBahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue. 237-258 [doi]
- Graph Representation of Sessions and Pipelines for Structured Service ProgrammingRoberto Bruni, Zhiming Liu, Liang Zhao. 259-276 [doi]
- Will the Real Service Oriented Computing Please Stand Up?Farhad Arbab. 277-285 [doi]
- Performance Verification in Complex Enterprise-Level Component SystemsLudwig Adam. 286-289 [doi]
- Runtime Programming through Model-Preserving, Scalable Runtime PatchesChristoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova. 290-294 [doi]
- Steps on the Road to Component EvolvabilityMario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. 295-299 [doi]
- Towards Linear Algebras of ComponentsHugo Daniel Macedo, José Nuno Oliveira. 300-303 [doi]