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	092MAT512000
Semester	WiSe 2009/10	SWS	4
Erwartete Teilnehmer/-innen		Max. Teilnehmer/-innen
Belegung	Diese Veranstaltung ist nicht belegpflichtig!

Termine Gruppe:
	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	fällt aus am	Max. Teilnehmer/-innen
	Mo.	12:00 bis 14:00	woch	von 19.10.2009	Gebäude D - D.13.08
	Do.	12:00 bis 14:00	woch	von 22.10.2009	Gebäude D - D.13.08

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 und VDM++; 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 WiSe 2009/10 , Aktuelles Semester: SoSe 2020

Kontakt

Impressum

Datenschutzerklärung

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