Mosses, Peter D. CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

Das Buch 'CASL User Manual: Introduction to Using the Common Algebraic Specification Language' von Peter D. Mosses ist Teil der Reihe 'Lecture Notes in Computer Science'. Es bietet eine umfassende Einführung in die Common Algebraic Specification Language (CASL), die entwickelt wurde, um algebraische Spezifikationen für Software- und Systementwicklung zu unterstützen. Das Handbuch richtet sich sowohl an Anfänger als auch an erfahrene Benutzer und deckt grundlegende Konzepte sowie fortgeschrittene Themen ab. Es behandelt die Syntax und Semantik von CASL, zeigt, wie man Spezifikationen erstellt und analysiert, und erklärt den Einsatz von CASL-Werkzeugen zur Verifikation und Validierung von Spezifikationen. Durch Beispiele und Übungsaufgaben wird das Verständnis gefördert. Das Buch ist ein wertvolles Nachschlagewerk für Informatiker und Softwareingenieure, die sich mit formalen Methoden der Spezifikation beschäftigen möchten.