Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
29,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
