Aichernig, Bernhard K. Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

'Formal Methods at the Crossroads: From Panacea to Foundational Support' ist ein Sammelband, der die Beiträge des 10-jährigen Jubiläumskolloquiums des United Nations University International Institute for Software Technology (UNU/IIST) zusammenfasst. Herausgegeben von Bernhard K. Aichernig, beleuchtet das Buch die Entwicklung und Anwendung formaler Methoden in der Softwaretechnik über ein Jahrzehnt hinweg. Es diskutiert die Rolle dieser Methoden als potenzielles Allheilmittel und ihre Weiterentwicklung hin zu einer soliden Unterstützung für Softwareentwicklungsprozesse. Der Band umfasst verschiedene wissenschaftliche Artikel und Fallstudien, die sowohl theoretische als auch praktische Aspekte abdecken, und bietet Einblicke in die Herausforderungen und Erfolge bei der Implementierung formaler Methoden in realen Projekten.