Die Proceedings von Ada‑Europe ’97 dokumentieren die im Juni 1997 in London stattgefundenen Vorträge zur zuverlässigen Softwareentwicklung. Sie verbinden theoretische Konzepte mit praxisnahen Fallstudien und zeigen aktuelle Forschungsergebnisse aus der Industrie auf.