Tilman
48 lines
2.0 KiB
PHP
48 lines
2.0 KiB
PHP
<!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> |