2003:27 - Karlstads universitet

More documents

Recommendations

Info

Bevis för att försvagning av kontrakt definierar en Liskov-subtyp Niclas Norlin © 2003 Niclas Norlin och Karlstads universitet
Page 1: Datavetenskap Niclas Norlin Bevis f
Page 7 and 8: Sammanfattning Målet med den här
Page 9 and 10: Innehållsförteckning 1 Inledning.
Page 11 and 12: Figurförteckning Figur 1.1 LSP, SE
Page 13 and 14: 1.2 Uppsatsens mål Målet med upps
Page 15 and 16: vilka omständigheter en typ är en
Page 17 and 18: En modul m är en modul (här i men
Page 19 and 20: varandra. På liknande sätt som f
Page 21 and 22: Med gränssnitt ges en bra möjligh
Page 23 and 24: tid modul T modul S Figur 3.2 En mo
Page 25 and 26: 3.2 Liskovs substitutionsprincip (L
Page 27 and 28: Modul T: f(x) pre x ≥ 2 och x är
Page 29 and 30: Den viktiga skillnaden här mot ARR
Page 31 and 32: distansen mellan de två punkterna
Page 33 and 34: Specifikationen av för- och efterv
Page 35 and 36: SERG:s angreppssätt illustreras av
Page 37 and 38: 5.4 Komplettering av SERG:s definit
Page 39 and 40: differenser av koordinater. Det är
Page 41 and 42: [C.3] och [C.4]: m ( pre ( cS T ( s
Page 43 and 44: Referenser [1] Blom, Martin, Brunst
Page 45 and 46: B Liskovs och Dharas definitioner a
Page 47 and 48: B.2 Dharas definition av en subtyp
Page 49 and 50: C Sammanställning och definition a

2003:27 - Karlstads universitet

Create successful ePaper yourself

Delete template?

Save as template?