Show and speak: Designkontrakter og ansvarsfordeling

Nr.	Kind	Title	Time	Show and speak page	Sound file
1	Sl 1	Specifikationsproblemet	39	kontrakter-show-specifikations-section-1	kontrakter-specifikations-section-slide-part-1
2	Sl 1	Softwarekvalitet	104	kontrakter-show-kvaliteter-1	kontrakter-kvaliteter-slide-part-1
3	Sl 1	Korrekthed	103	kontrakter-show-korrekthed-1	kontrakter-korrekthed-slide-part-1
4	Sl 1	Specifikation	122	kontrakter-show-specifikation-1	kontrakter-specifikation-slide-part-1
5	Pr 1	Program nummer 1 på Specifikation	211	kontrakter-specifikation-show-program-1	kontrakter-specifikation-program-part-1
6	Pr 2	Program nummer 2 på Specifikation	163	kontrakter-specifikation-show-program-2	kontrakter-specifikation-program-part-2
7	Sl 1	Specifikation med pre- og postbetingelser	43	kontrakter-show-pre-post-section-1	kontrakter-pre-post-section-slide-part-1
8	Sl 1	Logiske udtryk samt pre- og postbetingelser	116	kontrakter-show-assertions-1	kontrakter-assertions-slide-part-1
9	Sl 1	Eksempel på brug af pre- og postbetingelser i et objekt-orienteret program	307	kontrakter-show-eksempel-prepost-1	kontrakter-eksempel-prepost-slide-part-1
10	Sl 1	Et sprog til formulering af 'assertions'	256	kontrakter-show-assertion-sprog-1	kontrakter-assertion-sprog-slide-part-1
11	Sl 1	Ansvarsfordeling og kontrakter	38	kontrakter-show-ansvarsfordelings-section-1	kontrakter-ansvarsfordelings-section-slide-part-1
12	Sl 1	Ansvarsfordeling	181	kontrakter-show-ansvarsfordeling-1	kontrakter-ansvarsfordeling-slide-part-1
13	Sl 1	Det overansvarlige program	245	kontrakter-show-overansvarlighed-1	kontrakter-overansvarlighed-slide-part-1
14	Sl 1	Det ansvarsløse program	89	kontrakter-show-kontrast-overansvarlighed-1	kontrakter-kontrast-overansvarlighed-slide-part-1
15	Sl 1	Ansvarsfordeling specificeret med pre- og postbetingelser	107	kontrakter-show-ansvar-prepost-1	kontrakter-ansvar-prepost-slide-part-1
16	Sl 1	Kontraktbegrebet	195	kontrakter-show-kontrakter-1	kontrakter-kontrakter-slide-part-1
17	Sl 1	Kontrakter: ydelse og nydelse	127	kontrakter-show-ydelse-nydelse-1	kontrakter-ydelse-nydelse-slide-part-1
18	Sl 1	Ydelse og nydelse i kvadratrods funktionen	90	kontrakter-show-eksempel-ydelse-nydelse-1	kontrakter-eksempel-ydelse-nydelse-slide-part-1
19	Sl 1	Generelle kontraktaspekter: klasseinvarianter	49	kontrakter-show-invariant-section-1	kontrakter-invariant-section-slide-part-1
20	Sl 1	Klasseinvarianter	182	kontrakter-show-klasse-invarianter-1	kontrakter-klasse-invarianter-slide-part-1
21	Sl 1	Eksempel på klasseinvariant: CircularList	113	kontrakter-show-klasseinvariant-eksempel-1	kontrakter-klasseinvariant-eksempel-slide-part-1
22	Sl 1	Hvornår skal en invariant være opfyldt?	85	kontrakter-show-invarianter-livtid-1	kontrakter-invarianter-livtid-slide-part-1
23	Sl 1	Subkontrakter og nedarvning	51	kontrakter-show-subkontrakt-section-1	kontrakter-subkontrakt-section-slide-part-1
24	Sl 1	Forholdet mellem nedarvning og kontrakter	69	kontrakter-show-nedarvning-assertions-1	kontrakter-nedarvning-assertions-slide-part-1
25	Sl 1	Subkontrakter	316	kontrakter-show-subkontrakter-1	kontrakter-subkontrakter-slide-part-1
26	Sl 1	Eksempel på klasseinvarianter: Trekantshierarkiet	135	kontrakter-show-trekant-klasseinvarianter-1	kontrakter-trekant-klasseinvarianter-slide-part-1
27	Sl 1	Assertions i abstrakte klasser	45	kontrakter-show-assertions-abstrakte-klassers-1	kontrakter-assertions-abstrakte-klassers-slide-part-1
28	Pr 1	Program nummer 1 på Assertions i abstrakte klasser	183	kontrakter-assertions-abstrakte-klassers-show-program-1	kontrakter-assertions-abstrakte-klassers-program-part-1
29	Sl 2	Assertions i abstrakte klasser	55	kontrakter-show-assertions-abstrakte-klassers-2	kontrakter-assertions-abstrakte-klassers-slide-part-2
30	Sl 1	Kontrakter i praktisk programudvikling	45	kontrakter-show-kontrakter-praksis-section-1	kontrakter-kontrakter-praksis-section-slide-part-1
31	Sl 1	Løbende check af kontrakter under programudførelse	147	kontrakter-show-kontrakter-praksis-1	kontrakter-kontrakter-praksis-slide-part-1
32	Sl 1	Udbyttet af kontrakter i programudviklings processen	114	kontrakter-show-kontrakt-udbytte-1	kontrakter-kontrakt-udbytte-slide-part-1
33	Sl 1	Assertions i objekt-orienterede programmeringssprog	72	kontrakter-show-eiffel-assertions-1	kontrakter-eiffel-assertions-slide-part-1
34	Sl 1	Andre anvendelser af assertions	28	kontrakter-show-misc-assertions-section-1	kontrakter-misc-assertions-section-slide-part-1
35	Sl 1	Løkkeinvarianter	255	kontrakter-show-loekke-invarianter-1	kontrakter-loekke-invarianter-slide-part-1

Total playing time: 1 hour, 14 minutes, 40 seconds

Generated: Monday March 31, 2008, 12:09:04
on the system cs-unix