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

BERGISCHE
UNIVERSITÄT
WUPPERTAL

Startseite

Anmelden

Semester: SoSe 2020 (Für die Prüfungsanmeldung und das Semesterticket muss das Semester nicht umgestellt werden.)

Formale Methoden - Einzelansicht

Funktionen:

Seiteninhalt:
Grunddaten
Termine
Prüfungen / Module
Einrichtungen
Inhalt
Strukturbaum

Grunddaten
Veranstaltungsart	Vorlesung	Veranstaltungsnummer	181MAT511000
Semester	SoSe 2018	SWS	4
Erwartete Teilnehmer/-innen		Max. Teilnehmer/-innen
Belegung	Diese Veranstaltung ist nicht belegpflichtig!
Hyperlink	http://www2.math.uni-wuppertal.de/~buhl/teach/exercises/#SS18-2

Termine Gruppe:
	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	fällt aus am	Max. Teilnehmer/-innen
	Di.	12:00 bis 14:00	woch	von 17.04.2018	Gebäude G - HS 08			100
	Do.	12:00 bis 14:00	woch	von 19.04.2018	Gebäude G - HS 08			100

Gruppe :

vormerken

Prüfungen / Module
Prüfungsnummer	Modul
4112	Formale Methoden

Zuordnung zu Einrichtungen
Mathematik

Inhalt
Kommentar	Softwarequalität, Zusicherungen, Klassifizierung von Klassenmethoden; Programming by Contract; Vorbedingungen, Nachbedingungen und Invarianten; Contracts bei der Vererbung; formale Spezifikation mit OCL2; Frame-Regeln; Fallstudien formaler Spezifikation.
Zielgruppe	Master IT: MIT03; Master Mathematik: Erg.InfFM; Studienschwerpunkte Informatik anderer Studiengänge

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2018 , Aktuelles Semester: SoSe 2020

Kontakt

Impressum

Datenschutzerklärung

2007 WUSEL-Team Bergische Universität Wuppertal
Anzahl aktueller Nutzer/-innen auf qisapp01-p: 669