-J.-P. Finance (Ed.): Fundamental Approaches to Software Engineering. Proceedings, Springer-Verlag 1999