1 / 4

Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig

Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig. ProcedureHeading = PROCEDURE ident [FormalParameters]. Block = {declaration}[BEGIN StatementSequence] END. Declaration = CONST {ConstantDeclaration „;“} | TYPE {TypeDeclaration „;“} | VAR {VarableDeclaration „;“} |.

vachel
Download Presentation

Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Syntax, Semantik, Spezifikation Grundlagen der Informatik R. Hartwig

  2. ProcedureHeading = PROCEDURE ident [FormalParameters]. Block = {declaration}[BEGIN StatementSequence] END. Declaration = CONST {ConstantDeclaration „;“} | TYPE {TypeDeclaration „;“} | VAR {VarableDeclaration „;“} | SYNTAX // klasse1.cpp -- eine Klasse benutzen # include <iostream.h> // 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(); }; Das Wetter in Leipzig am 15. Oktober 2001: sonnig, z.t. bewölkt, 19°C, kaum Niederschlag, ... SEMANTIK SPEZIFIKATION djme34jof67jnm fgka*/h)l`&a@& 34l0qynshu(9=?%

  3. 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“ Literatur

  4. 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 Inhalt

More Related