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

  1. Front Matter
    Pages I-XIV
  2. Keynote

  3. Software Components

  4. Mobile Computing

    1. Pascal Fenkam, Harald Gall, Mehdi Jazayeri
      Pages 67-86
    2. Stephan Merz, Martin Wirsing, Júlia Zappe
      Pages 87-101
    3. David Scott, Alastair Beresford, Alan Mycroft
      Pages 102-117
  5. Aspect and Object-Oriented Programming

    1. Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
      Pages 118-134
    2. Jennifer Tenzer, Perdita Stevens
      Pages 135-149
    3. Jianjun Zhao, Martin Rinard
      Pages 150-165
    4. Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers
      Pages 166-169
  6. Distributed and Web Applications

    1. 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