Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology) - Softcover

Bicarregui, Juan C.; Fitzgerald, John S.

Softcover

ISBN 10: 038719813X ISBN 13: 9780387198132

Verlag: Springer-Verlag New York Inc., 1995

Inhaltsangabe

Nachweis in VDM: A Practitioners' Guide ist ein Lehrbuch und Handbuch zu den praktischen Aspekten der Verwendung und Konstruktion von Nachweisen in der Spezifikation und Entwicklung von Computersystemen. Viele Einführungskurse zu formellen Techniken sind von ihrer Natur aus nicht in der Lage, die Pragmatik des Beweises abzudecken. Praktiker, die für das Schreiben und das Verstehen formeller Spezifikationen kompetent sind, sind daher oft bei einem Verlust, wenn es darum geht, die relevanten Beweise durchzuführen. Nachweis in VDM: Ein Praktikerführer spricht an, die brauchen. Der Leser wird mit Hilfe zahlreicher gearbeiteter Beispiele durch die Elemente der Beweiskonstruktion geführt. Die Techniken können auf Spezifikation und Entwicklung in einer Reihe von Formalismen angewendet werden und werden anhand der Logik und der Grunddatentypen der VDM-Spezifikationssprache illustriert. Die Konstruktion von Theoremen und Beweisen aus tatsächlichen Spezifikationen und Raffinessen wird ebenfalls beschrieben, und eine detaillierte Fallstudie einschließlich mehrerer Veredelungsschritte zeigt, wie formeller Beweis in der Praxis verwendet werden kann. Darüber hinaus enthält das Buch ein Verzeichnis von Axiomen und formell bewährten Theoremen.

Details zur Ausgabe

• Verlag: Springer-Verlag New York Inc.
• Erscheinungsdatum: 1995
• Sprache: Englisch
• ISBN 10: 038719813X
• ISBN 13: 9780387198132
• Einband: Taschenbuch
• Anzahl der Seiten: 378
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar