Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 1845 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Hubert B. Keller Erhard Pl¨odereder (Eds.) Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000 Proceedings Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Hubert B. Keller Forschungszentrum Karlsruhe, Institut f¨ur Angewandte Informatik Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshafen, Germany E-mail:
[email protected] Erhard Pl¨odereder Universit¨at Stuttgart, Institut f¨ur Informatik Breitwiesenstr. 20-22, 70565 Stuttgart, Germany E-mail:
[email protected] Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Reliable software technologies Ada Europe 2000 : Potsdam, Germany, June 26 - 30, 2000 ; proceedings / Hubert B. Keller ; Erhard Plöderer (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000 (... Ada-Europe international conference ... ; 5) (Lecture notes in computer science ; Vol. 1845) ISBN 3-540-67669-4 CR Subject Classification (1998): D.2, D.1.2-5, D.3, D.4, C.2.4, C.3, K.6 ISSN 0302-9743 ISBN 3-540-67669-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer is a company in the BertelsmannSpringer publishing group. c Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd Blumenstein Printed on acid-free paper SPIN: 10722060 06/3142 543210 Foreword The Fifth International Conference on Reliable Software Technologies, AdaEurope 2000, took place in Potsdam, Germany, June 26–30, 2000. It was organized by Ada Deutschland and sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft f¨ ur Informatik (GI). We gratefully acknowledge additional sponsorship by the DFG, the German Research Foundation, and by the Forschungszentrum Karlsruhe. This year’s conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the fifth year of a conference focusing on the general area of software reliability, in which Ada excels as one of the supporting technologi