Fundamental Approaches to Software Engineering

1. Front Matter

   PDF

2. Invited Contributions

   1. Distributed Information Management with XML and Web Services

      • Serge Abiteboul

      Pages 1-11

   2. A Formal Treatment of Context-Awareness

      • Gruia-Catalin Roman, Christine Julien, Jamie Payton

      Pages 12-36

3. Objects and Aspects

   1. Consistent Adaptation and Evolution of Class Diagrams during Refinement

      • Alexander Egyed

      Pages 37-53

   2. Measuring Aspect Cohesion

      • Jianjun Zhao, Baowen Xu

      Pages 54-68

   3. Refactoring Object-Z Specifications

      • Tim McComb

      Pages 69-83

4. Smart Cards

   1. Checking Absence of Illicit Applet Interactions: A Case Study

      • Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov

      Pages 84-98

   2. A Tool-Assisted Framework for Certified Bytecode Verification

      • Gilles Barthe, Guillaume Dufay

      Pages 99-113

   3. Reasoning about Card Tears and Transactions in Java Card

      • Engelbert Hubbers, Erik Poll

      Pages 114-128

5. Components I

   1. Predictable Dynamic Plugin Systems

      • Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel

      Pages 129-143

   2. A Correlation Framework for the CORBA Component Model

      • Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath

      Pages 144-159

   3. Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

      • Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew Dwyer, John Hatcliff et al.

      Pages 160-164

6. Security and Web Services

   1. Actor-Centric Modeling of User Rights

      • Ruth Breu, Gerhard Popp

      Pages 165-179

   2. Modeling Role-Based Access Control Using Parameterized UML Models

      • Dae-Kyoo Kim, Indrakshi Ray, Robert France, Na Li

      Pages 180-193

   3. Compositional Nested Long Running Transactions

      • Laura Bocchi

      Pages 194-208

   4. DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets

      • Daniel Moldt, Jan Ortmann

      Pages 209-213

7. Modeling and Requirements

   1. Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

      • Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer

      Pages 214-228

   2. An Operational Semantics for Stateflow

      • Grégoire Hamon, John Rushby

      Pages 229-243

   3. Improving Use Case Based Requirements Using Formally Grounded Specifications

      • Christine Choppy, Gianna Reggio

      Pages 244-260

   4. The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

      • Islam A. M. El-Maddah, Tom S. E. Maibaum

      Pages 261-266

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.

• Refactoring
• Web Services
• design
• formal methods
• metamodeling
• modeling
• modeling techniques
• program analysis
• requirements engineering
• reverse engineering
• software architecture
• software development
• software engineering
• structured design
• testing

• Dep. de Informática, Univ. Nova de Lisboa, Caparica, Portugal

  Michel Wermelinger

• Universit\"at Dortmund, Fachbereich Informatik, LS V, Geb. IV, Dortmund

  Tiziana Margaria-Steffen

Policies and ethics