Mathematics of Program Construction: Second International Conference, Oxford, U.K., June-July 1992 : Proceedings (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Schon nicht sehr lange gab der ungehemmte Verwendung von Mathematik bei der Entwicklung von Software als etwas für Akademiker allein. Heute gibt es immer mehr Interesse der Industrie für formelle Methoden auf Mathematik basiert. Dieses Interesse ist aus dem Erfolg einer Reihe von Experimenten an realen industriellen Anwendungen entstanden. Somit gibt es nicht nur einen Glaube, sondern auch einen Beweis, dass die Studium von Computerprogrammen als mathematische Objekte zu effizienteren Methoden zur Konstruktion führt. Die Papiere in diesem Band wurden bei der zweiten International Conference on the Mathematics of Program Construction präsentiert, die am St. Catherines College, Oxford, 29. Juni - 3. Juli 1992 durchgeführt wurden. Die Konferenz wurde von der Oxford University Programming Research Group organisiert und führte das Thema zum ersten Mal fort: die Verwendung von klaren, klaren Mathematik bei der Entdeckung und Gestaltung von Algorithmen. Die zweite Konferenz gibt Beweise für die sich ständig verbreiternde Wirkung präziser mathematischer Methoden in der Programmentwicklung. Es gibt Papiere, die Mathematik nicht nur für sequenzielle Programme sondern auch für parallele und gegenwärtige Anwendungen, Echtzeit- und Reaktionssysteme und Designs direkt in Hardware realisieren. Das Band enthält 5 eingeladene Papiere und 19 beigefügte Papiere.

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