CASL
Common Algebraic Specification Language
Definition
Die Common Algebraic Specification Language ist eine formale Spezifikationssprache für die Beschreibung algebraischer Datentypen. Sie wird in der Softwareentwicklung zur präzisen Definition von Systemspezifikationen eingesetzt.