KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Programmieren, WS 2015/2016, gehalten am 13.01.2016, Vorlesung 10

Autor

Erik Burger

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

10: Vorlesung |
0:00:00 Starten
0:02:34 Motivation: Divide and Conquer
0:06:57 Rekursion
0:07:36 Rekursive Methoden
0:08:42 Beispiel: Fakultätsfunktion
0:11:09 Binomialfunktion
0:13:45 Binomialfunktion mit Caching
0:14:51 Rekursion - Zusammenfassung
0:15:46 Rekursion vs. Iteration
0:17:07 Die Kochsche Schneeflockenkurve
0:18:55 12 Java API
0:19:58 Java API
0:23:02 Das Java Collections Framework
0:24:32 Das Interface Collection<E>
0:27:24 Exkurs: Wildcards in generischen Typen
0:28:41 Exkurs: Kovarianz / Invarianz
0:34:26 Sub-Interfaces von Collection<E>
0:35:39 Das Interface Map<K,V>
0:36:52 Map<K,V>: Beispiel
0:37:52 Die Klasse Collections
0:39:28 Das Paket java.io
0:40:28 Ein-und Ausgabe in Java
0:43:33 13 Testen und Assertions
0:44:36 Softwarefehler (""Bugs"")
0:46:21 Berühmte Software-Fehler
0:49:36 Software-Fehler
0:54:12 Beispiel: Klassifikation Dreiecke
0:59:19 Kriterien für gute Testfälle
1:00:45 Was Testen ist...
1:03:45 Failure vs. Fault
1:05:14 Failure vs. Fault vs. Error
1:06:10 Beispiel: Failure vs. Fault
1:09:19 Was Testen nicht ist...
1:10:20 Warum Testen so schwierig ist
1:12:32 Testselektion
1:13:09 Wann sind wir fertig?
1:14:56 Teststrategien
1:15:36 Assertions (Geek & Poke)
1:17:11 Zusicherung
1:20:36 Pre- und Postconditions, Invarianten
1:21:30 Beispiel Invarianten
1:22:31 assert oder if-Abfrage?
1:23:50 Statische Analyse

Laufzeit (hh:mm:ss)

01:27:20

Serie

Programmieren, WS 2015/2016

Publiziert am

21.01.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 104757 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 910686 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5241 s
Dateiname DIVA-2016-104_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799834 kbps
Video Codec h264

Embed-Code