Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Das Buch "Formal Methods for Components and Objects" bietet eine umfassende Analyse der Anwendung formaler Methoden in der Softwareentwicklung, insbesondere im Kontext von Komponenten und Objekten. Es basiert auf den Beiträgen des 6. Internationalen Symposiums zu formalen Methoden, das 2007 in Amsterdam stattfand. Die Autoren, darunter Marcello M. Bonsangue, Susanne Graf und Willem-Paul de Roever, präsentieren in diesem Werk zwölf überarbeitete Papiere, die sich mit der Verifikation von Programmen, der Spezifikation, Modellierung und Validierung in grossen Systemen befassen. Die behandelten Themen sind besonders relevant für die Entwicklung von Technologien, die Vertrauen und Sicherheit in globalen Computersystemen gewährleisten, sowie für das Management grosser verteilter Systeme. Das Buch richtet sich an Fachleute und Studierende im Bereich Technik und IT, die sich mit den Herausforderungen und Lösungen in der Softwareentwicklung auseinandersetzen möchten.