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

  • Mauro Pezzè
Conference proceedings FASE 2003

DOI: 10.1007/3-540-36578-8

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

Table of contents (27 papers)

  1. Front Matter
    Pages I-XIV
  2. Keynote

  3. Software Components

  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. Software Measurements

  8. Formal Verification

About these proceedings

Keywords

Java Java Card Software Engineering design formal methods formal verification logic metamodeling modeling program analysis programming requirements engineering reverse engineering software architecture specification

Editors and affiliations

  • Mauro Pezzè
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano BicoccaMilanoItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00899-6
  • Online ISBN 978-3-540-36578-5
  • Series Print ISSN 0302-9743