Fundamental Approaches to Software Engineering

1. Front Matter

   PDF

2. Invited Tutorial

   1. Research Issues in the Renovation of Legacy Systems

      • Arie van Deursen, Paul Klint, Chris Verhoef

      Pages 1-21

3. Invited Paper

   1. Continuous Engineering of Information and Communication Infrastructures

      • Herbert Weber

      Pages 22-29

4. Contributed Papers

   1. A Formal Framework with Late Binding

      • Davide Ancona, Maura Cerioli, Elena Zucca

      Pages 30-44

   2. Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance

      • Candida Attanasio, Flavio Corradini, Paola Inverardi

      Pages 45-59

   3. Executable Tile Specifications for Process Calculi

      • Roberto Bruni, José Meseguer, Ugo Montanari

      Pages 60-76

   4. JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

      • Eva Coscia, Gianna Reggio

      Pages 77-97

   5. Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories

      • Wan Fokkink, Chris Verhoef

      Pages 98-113

   6. Dynamic Systems with Implicit State

      • Marie-Claude Gaudel, Carole Khoury, Alexandre Zamulin

      Pages 114-128

   7. Rigorous Development in UML

      • K. Lano, A. Evans

      Pages 129-143

   8. Using Explicit State to Describe Architectures

      • Antónia Lopes, José Luiz Fiadeiro

      Pages 144-160

   9. On the Evolution of Reactive Components

      • Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland

      Pages 161-175

   10. Verification of Definite Iteration over Hierarchical Data Structures

       • V. A. Nepomniaschy

       Pages 176-187

   11. Owicki/Gries in Isabelle/HOL

       • Tobias Nipkow, Leonor Prensa Nieto

       Pages 188-203

   12. Semantic-Driven Performance Evaluation

       • Chiara Nottegar, Corrado Priami, Pierpaolo Degano

       Pages 204-218

   13. Implementing Hierarchical Graph-Structures

       • Josef Tapken

       Pages 219-233

5. Demos

   1. A Tool Suite for Multi-Paradigm Specification

      • Lynne Blair, Trevor Jones, Gordon Blair

      Pages 234-238

   2. TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

      • Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner

      Pages 239-242

6. Back Matter

   PDF

ETAPS’99 is the second instance of the European Joint Conferences on 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 comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed 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. Di?erent 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.

• Formal Methods
• Graph Structures
• Program Specification
• Reactive Systems
• Software Engineering
• Unified Modeling Language (UML)
• data structure
• data structures
• formal method
• modeling
• real-time
• verification

• Université Henri Poincaré, Nancy Cedex, France

  Jean-Pierre Finance

Policies and ethics