Skip to main content
  • Conference proceedings
  • © 2003

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

Editors:

Conference proceedings info: FASE 2003.

Buy it now

Buying options

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

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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XIV
  2. Keynote

  3. Software Components

    1. A Description Language for Composable Components

      • Ioana Sora, Pierre Verbaeten, Yolande Berbers
      Pages 22-36
  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. Modular Analysis of Dataflow Process Networks

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

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

      • Bernhard Beckert, Wojciech Mostowski
      Pages 246-260
    2. Monad-Independent Hoare Logic in HASCASL

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

Other Volumes

  1. Fundamental Approaches to Software Engineering

Editors and Affiliations

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

    Mauro Pezzè

Bibliographic Information

Buy it now

Buying options

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