Navigate to list of lectures -- Keyboard shortcut: 'u'  Previous lecture -- Keyboard shortcut: 'p'  Next lecture -- Keyboard shortcut: 'n'  Course home        Alphabetic index  Exit possible frame set        First slide  First annotated slide  Lecture notes - all slides and notes together        Help page about these notes
Lecture 9

Designkontrakter og ansvarsfordeling

Kurt Nørmark ©
Department of Computer Science, Aalborg University, Denmark

September 2001

Title page            Abstract            Audio lecture from the start            References from this lecture            Exercises in this lecture            

Total playing time of audio lecture: 1 hour, 14 minutes, 40 seconds

Page 1Show and speak slideSpecifikationsproblemetPage 17Show and speak slideGenerelle kontraktaspekter: klasseinvarianter
Page 2Show and speak slideSoftwarekvalitetPage 18Show and speak slideKlasseinvarianter
Page 3Show and speak slideKorrekthedPage 19Show and speak slideEksempel på klasseinvariant: CircularList
Page 4Show and speak slideSpecifikationPage 20Show and speak slideHvornår skal en invariant være opfyldt?
Page 5Show and speak slideSpecifikation med pre- og postbetingelserPage 21Show and speak slideSubkontrakter og nedarvning
Page 6Show and speak slideLogiske udtryk samt pre- og postbetingelserPage 22Show and speak slideForholdet mellem nedarvning og kontrakter
Page 7Show and speak slideEksempel på brug af pre- og postbetingelser i et objekt-orienteret programPage 23Show and speak slideSubkontrakter
Page 8Show and speak slideEt sprog til formulering af 'assertions'Page 24Show and speak slideEksempel på klasseinvarianter: Trekantshierarkiet
Page 9Show and speak slideAnsvarsfordeling og kontrakterPage 25Show and speak slideAssertions i abstrakte klasser
Page 10Show and speak slideAnsvarsfordelingPage 26Show and speak slideKontrakter i praktisk programudvikling
Page 11Show and speak slideDet overansvarlige programPage 27Show and speak slideLøbende check af kontrakter under programudførelse
Page 12Show and speak slideDet ansvarsløse programPage 28Show and speak slideUdbyttet af kontrakter i programudviklings processen
Page 13Show and speak slideAnsvarsfordeling specificeret med pre- og postbetingelserPage 29Show and speak slideAssertions i objekt-orienterede programmeringssprog
Page 14Show and speak slideKontraktbegrebetPage 30Show and speak slideAndre anvendelser af assertions
Page 15Show and speak slideKontrakter: ydelse og nydelsePage 31Show and speak slideLøkkeinvarianter
Page 16Show and speak slideYdelse og nydelse i kvadratrods funktionen

Internal 'show-and-speak' overview

LENO - LEcture NOtes with LAML technologyGenerated: Monday March 31, 2008, 12:09:01
on the system cs-unix
Program Oriented Web Engineering - using LAML