<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
  <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  <link rel="stylesheet" type="text/css" media="all" href="stylesheet.css">
  <title>Spezifikation</title>
</head>
<body>
  <span id="menu"><a href="index.php">zurück zur Liste</a></span>

  <div id="buttons">
    <form action="edit.php" method="POST">
      <input type="hidden" name="filename" value="<?php echo $_SERVER['SCRIPT_FILENAME']?>">
      <p>
        <input type="submit" value="Seite bearbeiten">
      </p>
    </form>
  </div>

  <h1>Spezifikation</h1>

  <h2>Algebraische Spezifikation</h2>
Abstrakte Datentypen werden festgelegt durch:<br><br>
1. Syntax: Typen (types), Signaturen der Operationen (operations)<br>
2. Semantik: Definierende Gleichungen (axioms), die Beziehungen zwischen den Operationen festlegen (und evtl. preconditions)<br><br>
Die praktische Relevanz der Algebraischen Spezifikation ist eher gering, da es oft schwierig ist, Axiome zu
finden bzw. die Vollständigkeit oder Redundanz der Axiome zu überprüfen.<br><br>
einige algebraische Spezifikationen: <a href="algebraischeSpez.txt">Beispiele</a><br>
und noch mehr <a href="algebraischeSpez2.txt">Beispiele</a>
<br><br>

  <h2>Modellierende Spezifikation</h2>

Abstrakte Datentypen werden festgelegt durch:<br><br>
1. Typen: Wertemengen<br>
2. Methoden: Kopf oder Signaturen inkl. pre- und postconditions (ggf. return/result)<br>
3. Modell: mathematische Mengen, Folgen, (funktionale) Programmiersprache<br>
4. Invariante: Modell muss bestimmte Invariante erfüllen<br>
Die Spezifikation kann über Mittel der Prädikatenlogik, (Pseudo)-Code oder nat¨urliche Sprache erfolgen.<br><br>
einige modellierende Spezifikationen: <a href="modelSpez.txt">Beispiele</a><br><br>

  <h2>Anmerkungen</h2>

  <h2>Links</h2>
  <a href="http://www.vameo.de/uni/tutorium/adt.pdf">Merkblatt zu abstrakte Datentypen und Spezifikation von Augustin</a>

</body>
</html>