Mural: A Formal Development Support System - Softcover

Inhaltsangabe

Formale Methoden ermöglichen es, Computerarchitektur und Softwaredesign mathematisch korrekt nachzuweisen, bevor sie implementiert werden. Die Komplexität und der zeitraubende Charakter solcher Beweise haben die Anwendung formaler Methoden hauptsächlich auf verteidigungs- und sicherheitskritische Anwendungen beschränkt. Das Wandprojekt (ein gemeinsames von Alvey finanziertes Projekt zwischen M anchester U niversity und R utherford A ppleton L aboratories) hat ein Software-Support-System entwickelt, um dem Benutzer formaler Methoden zu helfen. mural hat eine benutzerfreundliche Softwareumgebung (mit umfangreicher Verwendung von Fenstern) geschaffen, die menschliche Talente am besten nutzt, um Computersysteme zu produzieren, die sich als richtig gestaltet erwiesen haben. Professor Cliff Jones ist international bekannt als Entwickler des VDM-Systems der formalen Notation (Wiener Entwicklungsmethode). Dieses Buch beschreibt die Anforderungen, Konzepte und Realisierung des Wandsystems. Die Autoren präsentieren systematisch und vollständig die Ergebnisse dieses umfangreichen Forschungsprojekts, von der theoretischen Grundstufe bis hin zu seiner effektiven Umsetzung. Das Buch wird von gleichem Interesse für Akademiker sein, die an formalen Methoden auf Forschungsebene arbeiten (und vielleicht für Forschungsstudenten) und für Praktiker und Software-Ingenieure, die verwenden – oder die für Verteidigungsverträge usw. verwenden müssen. - formale Methoden.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.