Dankwoord - martes

Recommendations

Info

64 BIBLIOGRAFIE [21] OMG, The Object Constrait Language, http://www.omg.org/docs/formal/06-05-01.pdf [22] No Magic Inc, MagicDraw - visual UML modeling and CASE tool, http://www.magicdraw.com/ [23] Modelbased, MOFScript , http://www.eclipse.org/gmt/mofscript [24] E2S nv, HAT Manual, https://www.e2s.be/Content/Software_Products/Hat/Download_Data/HatManual.pdf [25] B.Meyer,Design by Contract, http://se.ethz.ch/~meyer/publications/computer/contract.pdf
Page 1 and 2:
Dankwoord Ik wil alle mensen bedank
Page 3 and 4:
INHOUDSOPGAVE iii 3 Methodologie 17
Page 5 and 6:
L¼st van guren 1.1 Relatie tussen
Page 7 and 8:
Hoofdstuk 1 Inleiding 1.1 Situering
Page 9 and 10:
1.2. PROBLEEM BESCHRIJVING 3 1.2 Pr
Page 11 and 12:
1.4. DOELSTELLINGEN 5 • Ten vierd
Page 13 and 14:
Hoofdstuk 2 State-of-the-art De Obj
Page 15 and 16:
2.1. EVALUATIECRITERIA 9 2.1.6 Asse
Page 17 and 18:
2.2. TOOLS 11 alleen maar invariant
Page 19 and 20: 2.2. TOOLS 13 compleet systeem als
Page 21 and 22: 2.2. TOOLS 15 Indien het sleutelwoo
Page 23 and 24: Hoofdstuk 3 Methodologie In dit hoo
Page 25 and 26: 3.1. DESIGN BY CONTRACT 19 Het prin
Page 27 and 28: 3.2. BESCHRIJVING VAN DE METHODOLOG
Page 43 and 44: 3.3. NAÏEVE AANPAK 37 Listing 26 S
Page 45 and 46: 3.3. NAÏEVE AANPAK 39 Listing 30 v
Page 47 and 48: 3.4. INTELLIGENTE AANPAK 41 Figuur
Page 49 and 50: 3.5. EVALUATIE 43 3.4.4.1 Inkapseli
Page 51 and 52: 3.5. EVALUATIE 45 Figuur 3.2: Klass
Page 53 and 54: 4.1. HAT 47 Figuur 4.1: Architectuu
Page 55 and 56: 4.2. RUN-TIME OCL NAAR JAVA 49 Figu
Page 57 and 58: 4.3. NAÏEVE AANPAK IN HAT 51 van d
Page 59 and 60: 4.5. EVALUATIE 53 Id Criteria Opmer
Page 61 and 62: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 63 and 64: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 65 and 66: Hoofdstuk 6 Besluit MDD zou moeten
Page 67 and 68: 6.4. TOEKOMSTIG WERK: UITBREIDINGEN
Page 69: Bibliograe [1] A.Kleppe, J.Warmer,
show all

Dankwoord - martes

Create successful ePaper yourself

Delete template?

Save as template?