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

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

    1. Bernhard Beckert, Wojciech Mostowski
      Pages 246-260
    2. Lutz Schröder, Till Mossakowski
      Pages 261-277
    3. Manuel Koch, Francesco Parisi-Presicce
      Pages 278-293
  9. Analysis and Testing

    1. Angelo Gargantini, Elvinia Riccobene
      Pages 294-309
    2. Anita Goel, S. C. Gupta, S. K. Wasan
      Pages 310-324
    3. Natasha Sharygina, James C. Browne
      Pages 325-340
  10. Model Integrations and Extensions

    1. Christian Attiogbé, Pascal Poizat, Gwen Salaün
      Pages 341-355
    2. Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
      Pages 356-371
  11. Back Matter
    Pages 403-403

About these proceedings


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

  • DOI
  • 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment