Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


 




Zeige Wirtschaftsinformatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

System Engineering-Ansicht

Modultyp
Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. ∑ Anzahl
Algebraische Spezifikation (deleted:Sun Jun 20 16:03:13 +0200 2010)
2 0 0 0 0 2 6 i. d. R. angebote alle 2 Jahre
        Berechnung des Workloads
Vorgesehenes Semester ab 5
Lernziele

  • Einsichten in die Prinzipien der algebraischen Spezifikation von Datentypen und datenverarbeitenden Systemen
  • Erkenntnisse über operationelle Termersetzungs- sowie initiale und lose Modellsemantik
  • Vertiefte Einsichten in den Korrektheitsbegriff
  • Fähigkeit zum Nachvollziehen von und zum Umgang mit formalen Modellierungsmethoden und ihren semantischen Eigenschaften
  • Logisches Denken und Abstraktionsfähigkeit
  • Aneignung formaler Konzepte und Methoden
  • Kooperation und Teamfähigkeit durch Gruppenarbeit

Lerninhalte

  1. Gleichungsspezifikationen
  2. Algebren (als Datentypen) und initiale Algebren
  3. Korrektheit
  4. Parametrisierte Spezifikationen
Prüfungsformen

i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Dokumente (Skripte, Programme, Literatur, usw.)

  • H.-J. Kreowski: Algebraische Spezifikation, Skript
  • H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1, Springer, 1985
  • E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.): Algebraic Foundations of Systems Specification, Springer, 1999
Lehrende: Prof. Dr. H.-J. Kreowski, Prof. Dr. L. Schröder (Vertretungsprofessur), u. a. Verantwortlich:
Zurück

Zeige Wirtschaftsinformatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon