The Correctness-by-Construction Approach to Programming
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"The Correctness-by-Construction Approach to Programming" von Bruce W. Watson behandelt eine systematische Methode zur Softwareentwicklung, die darauf abzielt, korrekte Programme von Anfang an zu erstellen. Anstatt Fehler durch Testen und Debuggen nachträglich zu beheben, legt dieser Ansatz den Fokus darauf, Programme so zu entwickeln, dass sie von Beginn an korrekt sind. Watson erläutert Techniken und Prinzipien, um Spezifikationen präzise in fehlerfreie Implementierungen umzusetzen. Der Ansatz betont formale Methoden und mathematische Präzision in der Programmierung, um die Zuverlässigkeit und Sicherheit von Software zu erhöhen. Das Buch richtet sich an Entwickler und Informatiker, die an robusten und wartbaren Softwaresystemen interessiert sind.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
