×

zbMATH — the first resource for mathematics

Bericht über die Spezifikationssprache ABSTRACT-PASCAL. (German) Zbl 0591.68012
ABSTRACT-PASCAL ist eine Spezifikationssprache mit Breitbandcharakter, die speziell für Belange der Ausbildung entwickelt wurde und das volle Standard-PASCAL unterstützt. Die syntaktischen und semantischen Konzepte sind eng an PASCAL angelehnt und erlauben eine mathematisch orientierte Dokumentation aller Stufen des Entwurfsprozesses von der globalen Spezifikation bis hin zu lokalen Entwurfsentscheidungen.

MSC:
68N01 General topics in the theory of software
68P05 Data structures
PDF BibTeX Cite