Rigorous Methods for Software Construction and Analysis, Fachbücher von Uwe Glässer, Jean-Raymond Abrial

Das Buch "Rigorous Methods for Software Construction and Analysis" ist eine Festschrift, die zu Ehren von Egon Börger veröffentlicht wurde. Es umfasst 14 Fachbeiträge, die aus einem Dagstuhl-Seminar stammen, das anlässlich seines 60. Geburtstags im Mai 2006 organisiert wurde. Der Schwerpunkt liegt auf angewandten formalen Methoden und deckt ein breites Spektrum an angewandter Forschung ab, das von theoretischen und methodologischen Grundlagen bis hin zu praktischen Anwendungen reicht. Die Beiträge betonen universelle Methoden und Werkzeuge, die trotz ihrer unterschiedlichen Anwendungsorientierung dem Ideal mathematischer Strenge verpflichtet sind. Die Themen reichen von der methodologischen Grundlage der Anforderungsspezifikation und -verifikation bis hin zu fortgeschrittenen Werkzeugumgebungen und der systematischen Integration von Werkzeugen. Darüber hinaus werden maschinell unterstützte Validierung und Verifikation, verteilte Algorithmen sowie neuartige Anwendungen in den Bereichen öffentliche Sicherheit, Sicherheit und Datenschutz behandelt.