FASE'99 - Fundamental Approaches to Software Engineering

Amsterdam, 20-28 March 1999


SCOPE OF THE CONFERENCE

To enhance software quality, the software production process requires rigorous methods, firmly grounded on scientifically justified techniques. Fundamental approaches are sought, specially integrating so-called formal and informal aspects, providing the bridge between theory and practice and aimed at producing engineering methods and tools for the various phases of software development.
FASE is intended to provide a forum where fundamental approaches are presented, compared and discussed.

Topics covered are:


Programme Committee

Contact: Jean-Pierre Finance

Back to ETAPS'99 page


Programme


Wednesday March 24

9:00 Invited Talk: Security protocols and specifications

M. Abadi (Compaq Systems Research Center, Palo Alto)

10:00 Coffee
10:30 M.-C. Gaudel, C. Khoury (Univ. Paris-Sud, Orsay), A. Zamulin (Russian Academy of Sciences, Novosibirsk): Dynamic systems with implicit state

C. Nottegar, C. Priami (Univ. Verona), P. Degano (Univ. Pisa): Semantic-driven performance evaluation

C. Attanasio, F. Corradini, P. Inverardi (Univ. L'Aquila): Yet another real-time specification for the steam boiler: Local clocks to statically measure systems performance

12:30 Lunch
14:30 Invited Talk

Continuous engineering of information and communication infrastructure

H. Weber (TU Berlin)

15:30 Coffee
Evening CWI Soiree

Thursday March 25

9:00 Invited Talk

Modelling for mere mortals

J. Kramer (Imperial College, London)

10:00 Coffee
10:30 J. Tapken (Univ. Oldenburg): Implementing hierarchical graph-structures

V. Nepomniaschy (Russian Academy of Sciences, Novosibirsk): Verification of definite iteration over hierarchical data structures

K. Lano (Imperial College, London), A. Evans (Univ. York): Rigorous development in UML

C. Lüth, H. Tej, Kolyang, B. Krieg-Brückner (Univ. Bremen), tool demo: TAS and IsaWin: Tools for transformational program development and theorem proving

12:30 Lunch
14:00 M. Müller-Olm, B. Steffen (Univ. Dortmund), R. Cleaveland (SUNY, Stony Brook): On the evolution of reactive components: A process-algebraic approach

T. Nipkow and L. Nieto (TU Munich): Owicki/Gries in Isabelle/HOL

R. Bruni (Univ. Pisa), J. Meseguer (SRI International, Menlo Park), U. Montanari (Univ. Pisa): Executable tile specifications for process calculi

E. Coscia, G. Reggio (Univ. Genova): JTN: A Java-targeted graphic formal notation for reactive and concurrent systems

16:30 Coffee
17:00 Invited talk

Software-based critical systems

J.-C. Laprie (LAAS Toulouse)

Friday March 26

9:00 Invited talk J. Esparza (Technische Universität München)

Grammars as processes

10:00 Coffee
10:30 W. Fokkink (Univ. Wales, Swansea), C. Verhoef (Univ. Amsterdam): Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

D. Ancona, M. Cerioli, E. Zucca (Univ. Genova): A formal framework with late binding

A. Lopes, J. Fiadeiro (Univ. Lisbon): Using explicit state to describe architectures

T. Jones, L. Blair, G. Blair (Lancaster University), tool demo: A tool suite for multi-paradigm specification

12:30 Lunch