Front matter
1-11
Distributed Information Management with XML and Web Services
Serge Abiteboul
12-36
A Formal Treatment of Context-Awareness
Gruia-Catalin Roman, Christine Julien and Jamie Payton
37-53
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Alexander Egyed
54-68
Measuring Aspect Cohesion
Jianjun Zhao and Baowen Xu
69-83
Refactoring Object-Z Specifications
Tim McComb
84-98
Checking Absence of Illicit Applet Interactions: A Case Study
Marieke Huisman, Dilian Gurov, Christoph Sprenger and Gennady Chugunov
99-113
A Tool-Assisted Framework for Certified Bytecode Verification
Gilles Barthe and Guillaume Dufay
114-128
Reasoning about Card Tears and Transactions in Java Card
Engelbert Hubbers and Erik Poll
129-143
Predictable Dynamic Plugin Systems
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee and Sebastian Uchitel
144-159
A Correlation Framework for the CORBA Component Model
Georg Jung, John Hatcliff and Venkatesh Prasad Ranganath
160-164
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng and Matthew Dwyer, et al.
165-179
Actor-Centric Modeling of User Rights
Ruth Breu and Gerhard Popp
180-193
Modeling Role-Based Access Control Using Parameterized UML Models
Dae-Kyoo Kim, Indrakshi Ray, Robert France and Na Li
194-208
Compositional Nested Long Running Transactions
Laura Bocchi
209-213
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets
Daniel Moldt and Jan Ortmann
214-228
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
Roswitha Bardohl, Hartmut Ehrig, Juan de Lara and Gabriele Taentzer
229-243
An Operational Semantics for Stateflow
Grégoire Hamon and John Rushby
244-260
Improving Use Case Based Requirements Using Formally Grounded Specifications
Christine Choppy and Gianna Reggio
261-266
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
Islam A. M. El-Maddah and Tom S. E. Maibaum
267-280
Automated Debugging Using Path-Based Weakest Preconditions
Haifeng He and Neelam Gupta
281-294
Filtering TOBIAS Combinatorial Test Suites
Yves Ledru, Lydie du Bousquet, Olivier Maury and Pierre Bontron
295-309
Systematic Testing of Software Architectures in the C2 Style
Henry Muccini, Marcio Dias and Debra J. Richardson
310-323
Optimising Communication Structure for Model Checking
Peter Saffrey and Muffy Calder
324-338
Translating Software Designs for Model Checking
Fei Xie, Vladimir Levin, Robert P. Kurshan and James C. Browne
339-353
Enhancing Remote Method Invocation through Type-Based Static Analysis
Carlo Ghezzi, Vincenzo Martena and Gian Pietro Picco
354-358
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Peter Csaba Ölveczky and José Meseguer
359-373
A Systematic Methodology for Developing Component Frameworks
Si Won Choi, Soo Ho Chang and Soo Dong Kim
374-388
Automating Decisions in Component Composition Based on Propagation of Requirements
Ioana Şora, Vladimir Creţu, Pierre Verbaeten and Yolande Berbers
Back matter