\begin{slide}{Algebraische Spezifikation}

  \begin{itemize}
  \item Interface $=$ abstrakter Datentyp
  \item
    besitzt algebraische Spezifikation
    $=$ Signatur und Axiome (Formeln)
  \item Implementierung $=$ konkreter Datentyp
    $=$ eine Algebra
    $=$ Modell einer Spezifikation
  \end{itemize}

Literatur: z. B. Ehrich, Gogolla, Lipeck:
\emph{Algebraische Spezifikation abstrakter Datentypen.}
Teubner, Stuttgart, 1989.

\end{slide}


