Download præsentationen
Præsentation er lastning. Vent venligst
Offentliggjort afPhilip Mikkelsen Redigeret for ca. et år siden
1
Eksamen 20 minutters mundtlig prøve, inklusiv ca. 5 minutter til votering. Prøven bedømmes efter 7-trinsskalaenskalaen. Der ikke forberedelsestid. I kan medtage ca. et ark papir. Arket kan indeholde en disposition til jeres foredrag, og I forventes at lægge det fra jer under selve eksaminationen og kun bruge det sporadisk. Eksaminator/censor vil forsøge at holde jer på sporet ved hjælp af uddybende spørgsmål. Rækkefølge?
2
Eksamensspørgsmål Kontraktbaseret programmering
Kontraktbaseret klasseudvikling Kontrakter med kvantorer, shallowCopy() og immutable lister Kontrakter og arv Specifikationer Programudsagn Udvikling af loops
3
Eksamensspørgsmål Kontraktbaseret programmering
Kontraktbaseret klasseudvikling De 6 regler Kontrakter på forskellige niveauer Frame rules Kontrakter med kvantorer, shallowCopy() og immutable lister JML Eiffel CodeContracts
4
3. Kontrakter og arv 4. Specifikationer 5. Programudsagn
Substitutionsprincippet Guarded postconditions 4. Specifikationer Notationer (Q, JML) Typer af specifikationer 5. Programudsagn Notationer (Q) Invarianter (klasse-, repræsentations- og loop-invarianter) Gyldighed og korrekthed af programmer 6. Udvikling af loops Checklisten for løkker Ballonteorien Konstruktiv brug af checklisten Bemærk forskellen mellem udsagn (prædikater) og programudsagn (Hoare-tripler: {Q} S {R})
Lignende præsentationer
© 2024 SlidePlayer.dk Inc.
All rights reserved.