Fundamental Approaches to Software Engineering

Invited Contributions.- Distributed Information Management with XML and Web Services.- A Formal Treatment of Context-Awareness.- Objects and Aspects.- Consistent Adaptation and Evolution of Class Diagrams during Refinement.- Measuring Aspect Cohesion.- Refactoring Object-Z Specifications.- Smart Cards.- Checking Absence of Illicit Applet Interactions: A Case Study.- A Tool-Assisted Framework for Certified Bytecode Verification.- Reasoning about Card Tears and Transactions in Java Card.- Components I.- Predictable Dynamic Plugin Systems.- A Correlation Framework for the CORBA Component Model.- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.- Security and Web Services.- Actor-Centric Modeling of User Rights.- Modeling Role-Based Access Control Using Parameterized UML Models.- Compositional Nested Long Running Transactions.- DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.- Modeling and Requirements.- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.- An Operational Semantics for Stateflow.- Improving Use Case Based Requirements Using Formally Grounded Specifications.- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.- Testing.- Automated Debugging Using Path-Based Weakest Preconditions.- Filtering TOBIAS Combinatorial Test Suites.- Systematic Testing of Software Architectures in the C2 Style.- Model Checking and Analysis.- Optimising Communication Structure for Model Checking.- Translating Software Designs for Model Checking.- Enhancing Remote Method Invocation through Type-Based Static Analysis.- Specification and Analysis of Real-Time Systems Using Real-Time Maude.- Components II.- A Systematic Methodology for Developing Component Frameworks.- Automating Decisions in Component Composition Based on Propagation of Requirements.