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 182MAT512000
Semester WiSe 2018/19 SWS 2
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Belegung Diese Veranstaltung ist nicht belegpflichtig!
Hyperlink http://www.math.uni-wuppertal.de/~buhl/teach/exercises/#WS1819-2
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 24.10.2018  Gebäude G - HS 06   24.10.2018
31.10.2018
07.11.2018
14.11.2018
21.11.2018
28.11.2018 		75
Gruppe :
 
Prüfungen / Module
Prüfungsnummer Modul
4121 Praktische Informatik
4112 Formale Methoden
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 2018/19 , Aktuelles Semester: SoSe 2020

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