Table of contents

  1. Front Matter
  2. Robert Allen, Rémi Douence, David Garlan
    Pages 21-37
  3. Narjes Berregeb, Adel Bouhoula, MichaËl Rusinowitch
    Pages 38-53
  4. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Pages 54-70
  5. Robert Büssow, Robert Geisler, Marcus Klar
    Pages 71-87
  6. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Pages 88-106
  7. Martin Grö\e-Rhode
    Pages 107-122
  8. Ali Hamie, John Howse, Stuart Kent
    Pages 123-137
  9. Stefan Kahrs, Donald Sannella
    Pages 154-170
  10. Tiziana Margaria, Bernhard Steffen
    Pages 188-204
  11. Alexandre Mota, Augusto Sampaio
    Pages 205-220
  12. J. Padberg, M. Gajewsky, C. Ermel
    Pages 221-238
  13. Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
    Pages 255-269
  14. Anders Sandholm, Michael I. Schwartzbach
    Pages 270-284
  15. Peter Scholz
    Pages 285-301

About these proceedings

Introduction

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998.
Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.

Keywords

Automat Extreme Programming Requirements Engineering Web Services automata design formal language formal method formal specification modeling programming real-time software architecture software engineering verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0053578
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64303-6
  • Online ISBN 978-3-540-69723-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book