Specification and Verification
 of Component-Based Systems
Workshop at ESEC/FSE 2003 - September 1-2, 2003, Room 505 House of Sciences (Tieteiden talo)

Cover Page, Table of Contents, and Preface

Invited Talk

Software Architecture, Interface Specifications, and Software Verification - Three Cheers for Modularity
Manfred Broy, Technical University Munich

Paper Session 1

Failurefree Coordinator Synthesis for Correct Components Assembly
Paola Inverardi, University of L'Aquila
Massimo Tivoli, University of L'Aquila

Proof Rules for Automated Compositional Verification through Learning
Howard Barringer, University of Manchester
Dimitra Giannakopoulou, NASA Ames Research Center
Corina S. Pasareanu, NASA Ames Research Center

Paper Session 2

Behavioral Substitutability in Component Frameworks: a Formal Approach
Sabine Moisan, INRIA Sophia Antipolis
Annie Ressouche, INRIA Sophia Antipolis
Jean-Paul Rigault, University of Nice Sophia Antipolis and CNRS

Assertion Checking Wrapper Design for Java
Roy Patrick Tan, Virginia Tech.
Stephen H. Edwards, Virginia Tech.


Specifications in the Development Process: an AsmL Demonstration
Mike Barnett, Microsoft Corporation

Mae: An Architectual Evolution Envrionment
Roshanak Roshandel, University of Southern California

Runtime Assertion Checking Using JML
Roy Patrick Tan, Virginia Tech

Poster Session

Bridging the gap between Acme and UML for CBD
Miguel Goulão, Universidade Nova de Lisboa
Fernando Brito e Abreu, Universidade Nova de Lisboa

OO Big O [postscript]
Joan Krone, Denison University
W. F. Ogden, The Ohio State University

Ontology-based Description and Reasoning for Component-based Development on the Web
Claus Pahl, Dublin City University

Modeling Multiple Aspects of Software Components
Roshanak Roshandel, University of Southern California
Nenad Medvidovic, University of Southern California

Reasoning About Parameterized Components with Dynamic Binding
Nigamanth Sridhar, The Ohio State University
Bruce W. Weide, The Ohio State University

Invited Talk

Supporting Model-driven Development of Component-based Embedded Systems with Cadena
Matthew B. Dwyer, Kansas State University

Paper Session 3

An Approach to Model and Validate Publish/Subscribe Architectures
Luca Zanolin, Politecnico di Milano
Carlo Ghezzi, Politecnico di Milano
Luciano Baresi, Politecnico di Milano

Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
Jane Jayaputera, Monash University
Iman Poernomo, Monash University
Heinz Schmidt, Monash University

Paper Session 4

Modelling a Framework for Plugins
Robert Chatley, Imperial College London
Susan Eisenbach, Imperial College London
Jeff Magee, Imperial College London

Form-based Software Composition
Markus Lumpe, Iowa State University
Jean-Guy Schneider, Swinburne University of Technology

Paper Session 5

Algorithmic game semantics and component-based verification
Samson Abramsky, Oxford University
Dan R. Ghica, Oxford University
Andrzej S. Murawski, Oxford University
C.-H. Luke Ong, Oxford University

Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, and Gary T. Leavens

$Date: 2003/08/18 16:48:24 $