Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 1 Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig.

Präsentation zum Thema: "Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 1 Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig."—  Präsentation transkript:

1 Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 1 Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig

2 Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 2 ProcedureHeading = PROCEDURE ident [FormalParameters]. Block = {declaration}[BEGIN StatementSequence] END. Declaration = CONST {ConstantDeclaration „;“} | TYPE {TypeDeclaration „;“} | VAR {VarableDeclaration „;“} | SYNTAX SEMANTIK SPEZIFIKATION djme34jof67jnm fgka*/h)l`&a@& 34l0qynshu(9=?% Das Wetter in Leipzig am 15. Oktober 2001: sonnig, z.t. bewölkt, 19°C, kaum Niederschlag,... // klasse1.cpp -- eine Klasse benutzen # include // Klassendefinition class softball { private: char vorname[15]; char[nachname[15]; unsigned schlaege; unsigned treffer; unsigned rbis; float durchs; float berechne_durchs(); public: void alles_setzen(); void aktual(); void zeige_stat(); };

3 Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 3 Literatur Ehrich, H.-D., M. Gogolla, U. W. Lipeck: Algebraische Spezifikation abstrakter Datentypen. B. G. Teubner Stuttgart, 1989 Ehrig, H., B. Mahr: Fundamentals of Algebraic Specification. Springer-Verlag, 1985 Grätzer, G.: Universal Algebra. Springer-Verlag, 1979 Klaeren, H.A.: Algebraische Spezifikation. Springer-Verlag, 1983 Loeckx, J., H.-D. Ehrich, M. Wolf: Specification of Abstract Data Types. John Wiley & Sons and B. G. Teubner, 1996 Lugowski, H.: Grundzüge der Universellen Algebra. Teubner- Verlag, 1976 Vorlesungsskripten zu „Algebraische Grundlagen der Informatik“ und „Algebraische Spezifikation“

4 Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig 0 / 4 Inhalt 1. Einführung 2. Heterogene Algebren 3. Algebraische Hülle und Homomorphie 4. Termalgebren 5. Syntax und Semantik 6. Kongruenzen 7. Gleichungskalkül 8. Abstrakte Datentypen 9. Spezifikationen 10. Initialität 11. Gleichungskalkül und Induktion 12. Erweiterung von Gleichungsspezifikationen 13. Finale Semantik und beobachtbares Verhalten 14. Implementation von Spezifikationen