PESOS@ICSE 2009: Vancouver, BC, Canada

Formal Specifications, Models and Analysis for SOA

Service Engineering

QoS and Transactions

Human-Centered Processes and Pervasive Computing

Model-Driven Approaches, Automatic Generation

Design Issues

Verification and Quality Assurance

maintained by Schloss Dagstuhl LZI at University of Trier