The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"The Vienna Development Method: The Meta-Language" von C. B. Jones ist ein Buch, das sich mit der Vienna Development Method (VDM) beschäftigt, einer formalen Methode zur Softwareentwicklung. Diese Methode wurde entwickelt, um die Spezifikation, Entwicklung und Verifikation von Software auf eine mathematisch fundierte Weise zu unterstützen. Das Buch bietet eine Einführung in die Meta-Sprache von VDM, die dazu verwendet wird, präzise und überprüfbare Spezifikationen für Softwareprojekte zu erstellen. Es behandelt die theoretischen Grundlagen der Methode sowie praktische Anwendungen und Beispiele. Die Leser lernen, wie man formale Spezifikationen erstellt und diese in den Entwicklungsprozess integriert, um die Zuverlässigkeit und Korrektheit von Software zu verbessern. Insgesamt dient das Buch als wertvolle Ressource für Studierende und Fachleute im Bereich der Informatik und Softwareentwicklung, die sich mit formalen Methoden auseinandersetzen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
