Skip to main content
SpringerLink
Log in

Fundamental Approaches to Software Engineering

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Mauro Pezzè

    1. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano Bicocca, Milano, Italy

    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 2621)

Included in the following conference series:

Conference proceedings info: FASE 2003.

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 (27 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Keynote

    1. Symbiosis of Static Analysis and Program Testing

      • Michal Young
      Pages 1-5

  3. Software Components

    1. An Ontology for Software Component Matching

      • Claus Pahl
      Pages 6-21

    2. A Description Language for Composable Components

      • Ioana Sora, Pierre Verbaeten, Yolande Berbers
      Pages 22-36

    3. A Logical Basis for the Specification of Reconfigurable Component-Based Systems

      • Nazareno Aguirre, Tom Maibaum
      Pages 37-51

    4. An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems

      • Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser
      Pages 52-66

  4. Mobile Computing

    1. Composing Specifications of Event Based Applications

      • Pascal Fenkam, Harald Gall, Mehdi Jazayeri
      Pages 67-86

    2. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

      • Stephan Merz, Martin Wirsing, Júlia Zappe
      Pages 87-101

    3. Spatial Security Policies for Mobile Agents in a Sentient Computing Environment

      • David Scott, Alastair Beresford, Alan Mycroft
      Pages 102-117

  5. Aspect and Object-Oriented Programming

    1. Towards UML-Based Formal Specifications of Component-Based Real-Time Software

      • Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
      Pages 118-134

    2. Modelling Recursive Calls with UML State Diagrams

      • Jennifer Tenzer, Perdita Stevens
      Pages 135-149

    3. Pipa: A Behavioral Interface Specification Language for Aspect

      • Jianjun Zhao, Martin Rinard
      Pages 150-165

    4. PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features

      • Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers
      Pages 166-169

  6. Distributed and Web Applications

    1. Model-Based Development of Web Applications Using Graphical Reaction Rules

      • Reiko Heckel, Marc Lohmann
      Pages 170-183

    2. Modular Analysis of Dataflow Process Networks

      • Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck
      Pages 184-199

  8. Formal Verification

    1. A Temporal Approach to Specification and Verification of Pointer Data-Structures

      • Marcin Kubica
      Pages 231-245

    2. A Program Logic for Handling Java Card’s Transaction Mechanism

      • Bernhard Beckert, Wojciech Mostowski
      Pages 246-260

    3. Monad-Independent Hoare Logic in HASCASL

      • Lutz Schröder, Till Mossakowski
      Pages 261-277
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

Editors and Affiliations

  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano Bicocca, Milano, Italy

    Mauro Pezzè

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation