Fundamental Approaches to Software Engineering: First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Fundamental Approaches to Software Engineering

First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Egidio Astesiano
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FASE 1998.

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

Access this book

Log in via an institution
Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

Licence this eBook for your library

Institutional subscriptions

About this book

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

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Extreme programming: A humanistic discipline of software development

    • Kent Beck
    Pages 1-6

  3. Some mistakes I have and what I have learned from them

    • Cliff B Jones
    Pages 7-20

  4. Specifying and analyzing dynamic software architectures

    • Robert Allen, Rémi Douence, David Garlan
    Pages 21-37

  5. Observational proofs with critical contexts

    • Narjes Berregeb, Adel Bouhoula, MichaËl Rusinowitch
    Pages 38-53

  6. Integrating AORTA with model-based data specification languages

    • Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Pages 54-70

  7. Specifying safety-critical embedded systems with statecharts and Z: A case study

    • Robert Büssow, Robert Geisler, Marcus Klar
    Pages 71-87

  8. Specifying embedded systems with statecharts and Z: An agenda for cyclic software components

    • Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Pages 88-106

  9. Algebra transformation systems and their composition

    • Martin Grö\e-Rhode
    Pages 107-122

  10. Navigation expressions in object-oriented modelling

    • Ali Hamie, John Howse, Stuart Kent
    Pages 123-137

  11. Compositional verification of reactive systems specified by graph transformation

    • Reiko Heckel
    Pages 138-153

  12. Reflections on the design of a specification language

    • Stefan Kahrs, Donald Sannella
    Pages 154-170

  13. Constructs, concepts and criteria for reuse in concurrent object-oriented languages

    • Ulrike Lechner
    Pages 171-187

  14. Backtracking-free design planning by automatic synthesis in metaframe

    • Tiziana Margaria, Bernhard Steffen
    Pages 188-204

  15. Model-checking CSP-Z

    • Alexandre Mota, Augusto Sampaio
    Pages 205-220

  16. Rule-based refinement of high-level nets preserving safety properties

    • J. Padberg, M. Gajewsky, C. Ermel
    Pages 221-238

  17. Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms

    • JN Reed, DM Jackson, B Deianov, GM Reed
    Pages 239-254

  18. Behaviour analysis and safety conditions: A case study in CML

    • Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
    Pages 255-269

  19. Distributed safety controllers for web services

    • Anders Sandholm, Michael I. Schwartzbach
    Pages 270-284

  20. A refinement calculus for statecharts

    • Peter Scholz
    Pages 285-301
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation