Skip to main content
SpringerLink
Log in
Book cover

Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Michel Wermelinger

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tiziana Margaria-Steffen

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2984)

Included in the following conference series:

Conference proceedings info: FASE 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation