Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimar„es, Portugal, October 14-16, 2010, Revised Selected Papers
Luis Soares Barbosa, Markus Lumpe
Springer Science & Business Media, Mar 9, 2012 - Computers - 305 pages
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimar„es, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Challenges and Recent Advances
Analysis of Service Oriented Software Systems with the Conversation Calculus
QoS ContractAware Reconfiguration of Component Architectures Using EGraphs
Monitoring Method Call Sequences Using Annotations
An Introduction to Pervasive Interface Automata
A Separation Logic for OO Programs
Model Checking Adaptive Multilevel Service Compositions
Distributed Adaption of Dining Philosophers
Using Temporal Logic for Dynamic Reconfigurations of Components
Modular Termination Analysis of Java Bytecodeand Its Application to phoneME Core Libraries
Decomposition of Constraint Automata
Graph Representation of Sessions and Pipelines for Structured Service Programming
Will the Real Service Oriented Computing Please Stand Up?
Performance Verification in Complex EnterpriseLevel Component Systems
Runtime Programming through ModelPreserving Scalable Runtime Patches
Steps on the Road to Component Evolvability
Other editions - View all
abstract actions activity diagram adaptation algebra algorithm analysis analyzed annotations approach architecture AspectJ assertions automaton behavior bisimulation BPEL Calculus call pattern CaSPiS CBSE client complete constraint automata component model component-based systems Computer configuration constraint automata context conversation costa Crsi,toBe defined deﬁnition denote dynamic e-graph edge environment event example execution expression Forki Forki+1 formal Fractal Fractal component model framework function graph transformation Heidelberg hierarchical hypergraph implementation input interaction interface automata Java JMSeq label labeled transition system language LNCS match McPal McPhili method calls migration modular monitoring node object OO programs OOSL operations Paradigm Phili pointcut post-condition predicates process calculi promoted QoS contracts runtime semantics Separation Logic sequence server service compositions specification Springer structure synchronization syntax temporal logic termination termination analysis tion transition variables verification weaving Web Services