Invited Papers

An Essay on Software Engineering at the Turn of Century

Wladyslaw M. Turski

Memex Is Not Enough

Richard Mark Soley

From Play-In Scenarios to Code: An Achievable Dream

David Harel

Real-Time Systems

Parallel Refinement Mechanisms for Real-Time Systems

Paul Z. Kolano

Richard A. Kemmerer

Dino Mandrioli

Applying RT-Z to Develop Safety-Critical Systems

Carsten Suhl

A Process Algebra for Real-Time Programs

Henning Dierks

Formally Engineering Systems

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

Giovanna Dondossola

Oliver Botti

Structuring and Design of Reactive Systems Using REDS and B

K. Lano

K. Androutsopoulos

D. Clark

Using Domain-Specific Language for the Realization of Component Composition

Matthias Anlauff

Philipp W. Kutter

Alfonso Pierantonio

Asuman Sunbul

Software Engineering

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

G. Reggio

E. Astesiano

C. Choppy

H. Hussmann

Software as Learning: Quality Factors and Life-Cycle Revised

Jose Hernandez-Orallo

Ma Jose Ramirez-Quintana

What Is `Mathematicalness' in Software Engineering?

Hidetaka Kondoh

A Formal Approach to Heterogeneous Software Modeling

Alexander Egyed

Nenad Medivdovic

Object Orientation

Formal Specification of Object-Oriented Meta-modelling

Gunnar Overgaard

Verification of Object Oriented Programs Using Class Invariants

Kees Huizing

Ruurd Kuiper

SOOP

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

Pablo Gruer

Vincent Hilaire

Adber Koukam

A Model for Describing Object-Oriented Systems from Multiple Perspectives

Torsten Nelson

Donald Cowan

Paulo Alencar

Formally Engineering Systems

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

J. Padberg

K. Hoffmann

M. Gajewsky

Theory and Applications

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

Francoise Bellegarde

Jacques Julliand

Olga Kouchnarenko

Java Program Verification via a Hoare Logic with Abrupt Termination

Marieke Huisman

Bart Jacobs

Foundations for Software Configuration Management Policies Using Graph Transformations

Francesco Parisi-Presicce

Alexander L. Wolf

Analyzing Non-functional Properties of Mobile Agents

Pascal Fradet

Valerie Issarny

Siegfried Rouvrais

Case Studies

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods

Heike Wehrheim

A Case Study on Using Automata in Control Synthesis

Thomas Hune

Anders Sandholm

Demonstrations

Formal System Development with KIV

Michael Balser

Wolfgang Reif

Gerhard Schellhorn

Kurt Stenzel

Andreas Thums

More About TAS and IsaWin --- Tools for Formal Program Development

Christoph Luth

Burkhart Wolff

Using Maude

Manuel Clavel

Fransisco Duran

Steven Eker

Patrick Lincoln

Narciso Marti-Oliet

Jose Meseguer

Jose F. Quesada

Author Index