Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Semantik und Verifikation - Detailansicht

  • Funktionen:
  • Zur Zeit kein Belegungszeitraum aktiv.
Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 4203 Kurztext
Semester SoSe 2023 SWS 4
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Rhythmus Jedes Semester Studienjahr
Hyperlink  
Sprache Deutsch
Laut SPO für
Abschluss Studiengang Semester Kategorie ECTS
Master mit vorausg. Absch Wirtschaftsinformatik 1 - 1 6
Zuordnung zu Einrichtungen
Masterstudiengang Wirtschaftsinformatik
Inhalt
Literatur [Ber 02] R. Berghammer – “Semantik von Programmier-sprachen”, Logos Verlag Berlin, ISBN 3-8972-2830-0
[Bro 00] A. W. Brown – “Software¬entwicklung mit UML 2”, Addi¬son-Wesley ISBN 3-8273-2086-0
[Sch 00] B. Schienmann – “Kontinu¬ier¬liches Anfor-derungsmanage¬ment”, Addison-Wesley ISBN 3-8273-1787-8
[Wal 93] C. Walther – “Semantik und Programmve-rifikation”, B.G. Teubner Verlag, ISBN 3-5190-0336-8
Leistungsnachweis Unbenotete Prüfungsleistung: Praktische Arbeit .
Benotete Prüfungsleistung: Mündliche Prüfung, 20 Minuten.

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2023 , Aktuelles Semester: SoSe 2024