%PDF-1.5 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (Einf\374hrung) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (Klassifikation von Verifikationstechniken f\374r Produktlinien) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (Spezifikation mit Feature-orientierten Vertr\344gen) endobj 13 0 obj << /S /GoTo /D (section.4) >> endobj 16 0 obj (Verifikation mit Feature-orientierten Vertr\344gen) endobj 17 0 obj << /S /GoTo /D (section.5) >> endobj 20 0 obj (Zusammenfassung) endobj 21 0 obj << /S /GoTo /D [22 0 R /Fit] >> endobj 46 0 obj << /Length 2885 /Filter /FlateDecode >> stream xڕY[w6~#u% ^vl84V6=! kRy )ۭr` so?%|%$WS$bl2/&w^ ywQuUALyx~FTOy-uvz?? &>Y&cTDRVu6[Q¢(sNg|2sp5k IC_$,͢IĂX%2"F*!i6COrmoa@&<,kݶ*a2CDʉd1OR`(6lQdƁaDeSqXк]r1==ݮԗi\)
yˇVw$nojލ̧ rSie X
xa(CW@Ћ1*nT[rg`&bEFH$Smf=7H(Am+]Uڃ%xᾋ3:wy*$t-"vM$j`v{]
GY%r>3:
OV
jEDO8ˢy'a/U7zA9eLG:tAgtȓV40' ΞJ$˻
{c]T{5Rkz*rh`IﺶTmƒ,ߐ<IizȽ[K"}
ȋQ&_W8͑'KhTN
µ-7ĔACnI$dQrvXS(`d洈"dPua}ǫHC(2LWUQR17ݨ]
C4P:8b^v}=f[HS nPԾdz,$Q8rw*< -q?`PFR5 QBd&_+cB9hț*M=dEL=؉BL<{XƑB`
/4;D
v&k]vP%jC'?DR`gknd|jL|2!!baK1#
0ih5 <.}¤!rPh(BYH#(SE?G20zἔ"qЕI&(!T۞B垌(C?lUw0^Ym)`ya9<|
*(!un ! e
8q]L "V
QO -?XL~SA`UDX~&&k}$I@qd U_5yPchUGMx&)$Q,N
p +L az:}~%²0n0~=v~xYј0'f-"M]8w[nJM%[!;URh*1HrL2m
Ro/pؤP<Ɖ}xpi5t+ٗ]CnJpw"~:uh|u9r%EKij Ht|q+#Pk Hy#$Ԃz
Z̓b4UƄ0cnY녽Is
Um?.dIb%-~M7Q$+!NU7*t$!qސX(ν!G@0kQvtPˍ G=I
sE|7n`2.!d9ih&OM$U3ugƭ6 LJR)qL0 ' q8+!;`zvTi8p,hw=~DIzR@V3"9YxV9TB#ũ7Gi!@@#VX"
v/Â]ъi⾎T_:pwO+Xc4% i|s
8j ?_cnpg_'=F75-;z^ ן ~'6wI26;czt 8Xa,--R)Q N8?3u[LW4]阣-BFIi3qBgF͎^3plDJG-
{OÏ6檇+Ok
!
^&疇Q#8w&`ǏPA{yFTmrP50>ɍd<|g
z .<-UKFc.hH@iSp7|g.
+
bp)`4='řr0ϝ<> <_^'ⷋ+㩘D,Kv*,
C3^'kTRs|t7N#!"1}BZ
awݫʥ{m`xPN!,m7D;*hͮ`&f}/QKZӟ4ZG/tUwU/鵅J-k7`ʙ*I;
endstream
endobj
22 0 obj
<<
/Type /Page
/Contents 46 0 R
/Resources 45 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 51 0 R
/Annots [ 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 23 0 R ]
>>
endobj
24 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [215.196 362.068 240.441 370.994]
/A << /S /GoTo /D (cite.RC:ICSE13) >>
>>
endobj
25 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [244.405 362.068 269.092 370.994]
/A << /S /GoTo /D (cite.LC:SCP13) >>
>>
endobj
26 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [273.056 362.068 303.272 370.994]
/A << /S /GoTo /D (cite.XXJ:WCRE12) >>
>>
endobj
27 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [307.236 362.207 333.577 370.994]
/A << /S /GoTo /D (cite.HK:WCRE12) >>
>>
endobj
28 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [337.541 362.207 361.67 370.994]
/A << /S /GoTo /D (cite.AJB+:ICSE14) >>
>>
endobj
29 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [349.002 326.203 389.191 335.129]
/A << /S /GoTo /D (cite.PBL05) >>
>>
endobj
30 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [393.483 326.203 419.276 335.129]
/A << /S /GoTo /D (cite.CN01) >>
>>
endobj
31 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [241.5 302.292 266.187 311.219]
/A << /S /GoTo /D (cite.CE00) >>
>>
endobj
32 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [269.196 302.292 299.98 311.219]
/A << /S /GoTo /D (cite.BSR04) >>
>>
endobj
33 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [302.989 300.275 327.118 311.219]
/A << /S /GoTo /D (cite.ABKS13) >>
>>
endobj
34 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [254.684 290.337 276.452 299.263]
/A << /S /GoTo /D (cite.P76) >>
>>
endobj
35 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [201.912 278.382 226.898 287.308]
/A << /S /GoTo /D (cite.hall-of-fame) >>
>>
endobj
36 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [284.19 266.427 309.983 275.353]
/A << /S /GoTo /D (cite.CN01) >>
>>
endobj
37 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [312.972 266.427 353.161 275.353]
/A << /S /GoTo /D (cite.LSR07) >>
>>
endobj
38 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [356.15 266.427 379.174 275.353]
/A << /S /GoTo /D (cite.L07) >>
>>
endobj
39 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [143.185 234.546 168.171 243.473]
/A << /S /GoTo /D (cite.hall-of-fame) >>
>>
endobj
40 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [450.314 186.726 471.126 195.652]
/A << /S /GoTo /D (cite.LKA+:ESECFSE13) >>
>>
endobj
41 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [296.199 162.815 320.886 171.742]
/A << /S /GoTo /D (cite.FK01) >>
>>
endobj
42 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [324.587 162.815 357.573 171.742]
/A << /S /GoTo /D (cite.NCA:REFLECTION01) >>
>>
endobj
23 0 obj
<<
/Type /Annot
/Subtype /Link
/Border[0 0 1]/H/I/C[0 1 0]
/Rect [147.476 135.077 166.293 142.616]
/A << /S /GoTo /D (cite.T15) >>
>>
endobj
47 0 obj
<<
/D [22 0 R /XYZ 112.103 618.669 null]
>>
endobj
48 0 obj
<<
/D [22 0 R /XYZ 118.772 670.627 null]
>>
endobj
2 0 obj
<<
/D [22 0 R /XYZ 118.772 420.251 null]
>>
endobj
45 0 obj
<<
/Font << /F71 49 0 R /F72 50 0 R >>
/ProcSet [ /PDF /Text ]
>>
endobj
77 0 obj
<<
/Length 2673
/Filter /FlateDecode
>>
stream
xڥYKs8ϯ𑪒9x97g