Skip to main content
SpringerLink
Log in

Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Tom Maibaum

    1. Department of Computer Science, King’s College London, London, UK

    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 1783)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Papers

    1. Essay on Software Engineering at the Turn of Century

      • Władysław M. Turski
      Pages 1-20

    2. Memex Is Not Enough

      • Richard Mark Soley
      Pages 21-21

    3. From Play-In Scenarios to Code: An Achievable Dream

      • David Harel
      Pages 22-34

  3. Real-Time Systems

    1. Parallel Refinement Mechanisms for Real-Time Systems

      • Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
      Pages 35-50

    2. Applying RT-Z to Develop Safety-Critical Systems

      • Carsten Sühl
      Pages 51-65

    3. A Process Algebra for Real-Time Programs

      • Henning Dierks
      Pages 66-81

  4. Formally Engineering Systems

    1. System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches

      • Giovanna Dondossola, Oliver Botti
      Pages 82-96

    2. Structuring and Design of Reactive Systems Using RSDS and B

      • K. Lano, K. Androutsopoulos, D. Clark
      Pages 97-111

    3. Using Domain-Specific Languages for the Realization of Component Composition

      • Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül
      Pages 112-126

  5. Software Engineering

    1. Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

      • G. Reggio, E. Astesiano, C. Choppy, H. Hussmann
      Pages 127-146

    2. Software as Learning: Quality Factors and Life-Cycle Revised

      • José Hernández-Orallo, Ma José Ramírez-Quintana
      Pages 147-162

    3. What Is ‘Mathematicalness’ in Software Engineering?

      • Hidetaka Kondoh
      Pages 163-177

    4. A Formal Approach to Heterogeneous Software Modeling

      • Alexander Egyed, Nenad Medvidovic
      Pages 178-192

  6. Object Orientation

    1. Formal Specification of Object-Oriented Meta-modelling

      • Gunnar Övergaard
      Pages 193-207

    2. Verification of Object Oriented Programs Using Class Invariants

      • Kees Huizing, Ruurd Kuiper, SOOP
      Pages 208-221

    3. Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem

      • Pablo Gruer, Vincent Hilaire, Abder Koukam
      Pages 222-236

    4. A Model for Describing Object-Oriented Systems from Multiple Perspectives

      • Torsten Nelson, Donald Cowan, Paulo Alencar
      Pages 237-248

  7. Formally Engineering Systems

    1. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems

      • J. Padberg, K. Hoffmann, M. Gajewsky
      Pages 249-265

  8. Theory and Applications

    1. Ready-Simulation Is Not Ready to Express a Modular Refinement Relation

      • Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
      Pages 266-283
Back to top

Keywords

About this book

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Editors and Affiliations

  • Department of Computer Science, King’s College London, London, UK

    Tom Maibaum

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation