Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Program Refinement" von Betascript Publishing bietet eine umfassende Einführung in die formalen Methoden der Progra... Mehr erfahren
Produktvarianten
Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Program Refinement" von Betascript Publishing bietet eine umfassende Einführung in die formalen Methoden der Programmverfeinerung. Es behandelt die verifizierbare Transformation von abstrakten formalen Spezifikationen in konkrete, ausführbare Programme. Der Prozess der schrittweisen Verfeinerung wird detailliert erläutert, wobei die logischen Grundlagen und die Herausforderungen, die dabei auftreten können, thematisiert werden. Das Buch geht auch auf die Konzepte der Datenverfeinerung und der Operationsverfeinerung ein, die entscheidend sind, um abstrakte Datenmodelle in umsetzbare Datenstrukturen und Spezifikationen in implementierbare Programme zu überführen. Die Stärkung von Postbedingungen und die Schwächung von Vorbedingungen werden als Techniken zur Reduzierung von Nichtdeterminismus in der Spezifikation behandelt, was zu einer deterministischen Implementierung führt. Dieses Fachbuch richtet sich an Studierende und Fachleute, die ein vertieftes Verständnis der Programmverfeinerung und ihrer Anwendungen in der Softwareentwicklung erlangen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing