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 
BUW Logo BUW Logo
BERGISCHE
UNIVERSITÄT
WUPPERTAL
Startseite    Anmelden    Semester:  SoSe 2020   (Für die Prüfungsanmeldung und das Semesterticket muss das Semester nicht umgestellt werden.)

Softwarequalität - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 162MAT512000
Semester WiSe 16/17 SWS 2
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Belegung Diese Veranstaltung ist nicht belegpflichtig!
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 10:00 bis 12:00 woch von 02.11.2016  Gebäude G - HS 06     75
Gruppe :
 
Prüfungen / Module
Prüfungsnummer Modul
4112 Formale Methoden
4121 Praktische Informatik
Zuordnung zu Einrichtungen
Mathematik
Inhalt
Kommentar Die Programmiermethodik "Programming/Design by Contract" klärt die Verantwortlichkeit von Diensteanbieter (function) und Dienstenehmer (Aufrufer einer Funktion) durch genaue Vereinbarungen. Mittels des Sprachmittels der Zusicherung werden Voraussetzungen, Diensteerfüllung und Ausnahmebedingungen zur Laufzeit eines Programms (automatisch) überprüft und führen zu Code besserer Qualität.
Literatur wird in der Veranstaltung bekannt gegeben
Voraussetzungen Einführung in die Informatik; Programmierkenntnisse in C++; erfolgreiche Teilnahme an xxxMAT500000
Zielgruppe

Diplom Mathematik/Nebenfach Informatik: Hauptstudium - Praktische und Technische Informatik;
Bachelor IT: Praktische Informatik A - Programmiersprachen und Sprachkonzepte;
Master Wirtschaftsmathematik: Wahlpflichtbereich Informatik;
Wirtschaftswissenschaften: Modul I - Software- und Programmiertechnik;
Studienschwerpunkte und Nebenfächer Informatik anderer Studiengänge

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 16/17 , Aktuelles Semester: SoSe 2020

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