%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Version /1.6
/Pages 2 0 R
/Outlines 3 0 R
/Metadata 4 0 R
/StructTreeRoot 5 0 R
/MarkInfo 6 0 R
/Lang (EN-US)
>>
endobj
7 0 obj
<<
/Author (Drusinsky, Doron)
/Company (NPS)
/Creator (Drusinsky, Doron)
/ModDate (D:20220615161848-07'00')
/Producer (Adobe PDF Library 11.0)
/SourceModified (D:20140213172731)
/Title (Computer-aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R
18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 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]
/Count 25
>>
endobj
3 0 obj
<<
/Count 19
/First 33 0 R
/Last 34 0 R
/Type /Outlines
>>
endobj
4 0 obj
<<
/Length 3855
/Subtype /XML
/Type /Metadata
>>
stream
2014-02-24T12:30:29-08:00
2014-02-13T09:27:39-08:00
2014-02-24T12:30:29-08:00
Acrobat PDFMaker 11 for Word
uuid:9b3c8560-c14a-4352-8741-345c8e8f76a3
uuid:8a3b62ce-a06a-4de8-800e-4b5fb0b7ecbf
2
application/pdf
Laura Dippold
Adobe PDF Library 11.0
D:20140213172731
NPS
endstream
endobj
5 0 obj
<<
/Type /StructTreeRoot
/ParentTree 35 0 R
/ParentTreeNextKey 33
/K 36 0 R
/RoleMap 37 0 R
>>
endobj
6 0 obj
<<
/Marked true
/Suspects false
>>
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0.0 0.0 612.0 792.0]
/Contents 38 0 R
/Resources 39 0 R
/Parent 2 0 R
>>
endobj
9 0 obj
<<
/Contents 40 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 41 0 R
/Rotate 0
/StructParents 0
/Tabs /S
/Type /Page
/Annots []
>>
endobj
10 0 obj
<<
/Contents 42 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 43 0 R
/Rotate 0
/StructParents 1
/Tabs /S
/Type /Page
/Annots []
>>
endobj
11 0 obj
<<
/Contents 44 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 45 0 R
/Rotate 0
/StructParents 2
/Tabs /S
/Type /Page
/Annots []
>>
endobj
12 0 obj
<<
/Contents 46 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 47 0 R
/Rotate 0
/StructParents 3
/Tabs /S
/Type /Page
/Annots []
>>
endobj
13 0 obj
<<
/Contents 48 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 49 0 R
/Rotate 0
/Tabs /S
/Type /Page
/Annots []
>>
endobj
14 0 obj
<<
/Contents 50 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 51 0 R
/Rotate 0
/StructParents 5
/Tabs /S
/Type /Page
/Annots []
>>
endobj
15 0 obj
<<
/Contents 52 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 53 0 R
/Rotate 0
/StructParents 6
/Tabs /S
/Type /Page
/Annots []
>>
endobj
16 0 obj
<<
/Contents 54 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 55 0 R
/Rotate 0
/StructParents 7
/Tabs /S
/Type /Page
/Annots []
>>
endobj
17 0 obj
<<
/Annots [56 0 R]
/Contents 57 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 58 0 R
/Rotate 0
/StructParents 8
/Tabs /S
/Type /Page
>>
endobj
18 0 obj
<<
/Contents 59 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 60 0 R
/Rotate 0
/StructParents 9
/Tabs /S
/Type /Page
/Annots []
>>
endobj
19 0 obj
<<
/Annots [61 0 R]
/Contents 62 0 R
/CropBox [0.0 0.0 612.0 792.0]
/Group 63 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 64 0 R
/Rotate 0
/StructParents 10
/Tabs /S
/Type /Page
>>
endobj
20 0 obj
<<
/Contents 65 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 66 0 R
/Rotate 0
/StructParents 11
/Tabs /S
/Type /Page
/Annots []
>>
endobj
21 0 obj
<<
/Annots [67 0 R 68 0 R 69 0 R 70 0 R]
/Contents 71 0 R
/CropBox [0.0 0.0 612.0 792.0]
/Group 63 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 72 0 R
/Rotate 0
/StructParents 12
/Tabs /S
/Type /Page
>>
endobj
22 0 obj
<<
/Contents 73 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 74 0 R
/Rotate 0
/StructParents 17
/Tabs /S
/Type /Page
/Annots []
>>
endobj
23 0 obj
<<
/Contents 75 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 76 0 R
/Rotate 0
/StructParents 18
/Tabs /S
/Type /Page
/Annots []
>>
endobj
24 0 obj
<<
/Annots [77 0 R]
/Contents 78 0 R
/CropBox [0.0 0.0 612.0 792.0]
/Group 63 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 79 0 R
/Rotate 0
/StructParents 19
/Tabs /S
/Type /Page
>>
endobj
25 0 obj
<<
/Contents 80 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 81 0 R
/Rotate 0
/StructParents 20
/Tabs /S
/Type /Page
/Annots []
>>
endobj
26 0 obj
<<
/Contents 82 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 83 0 R
/Rotate 0
/StructParents 21
/Tabs /S
/Type /Page
/Annots []
>>
endobj
27 0 obj
<<
/Contents 84 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 85 0 R
/Rotate 0
/StructParents 22
/Tabs /S
/Type /Page
/Annots []
>>
endobj
28 0 obj
<<
/Contents 86 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 87 0 R
/Rotate 0
/StructParents 23
/Tabs /S
/Type /Page
/Annots []
>>
endobj
29 0 obj
<<
/Annots [88 0 R 89 0 R]
/Contents 90 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 91 0 R
/Rotate 0
/StructParents 24
/Tabs /S
/Type /Page
>>
endobj
30 0 obj
<<
/Contents 92 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 93 0 R
/Rotate 0
/StructParents 27
/Tabs /S
/Type /Page
/Annots []
>>
endobj
31 0 obj
<<
/Contents 94 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 95 0 R
/Rotate 0
/StructParents 28
/Tabs /S
/Type /Page
/Annots []
>>
endobj
32 0 obj
<<
/Contents 96 0 R
/CropBox [0.0 0.0 612.0 792.0]
/MediaBox [0.0 0.0 612.0 792.0]
/Parent 2 0 R
/Resources 97 0 R
/Rotate 0
/StructParents 29
/Tabs /S
/Type /Page
/Annots []
>>
endobj
33 0 obj
<<
/A 98 0 R
/Next 99 0 R
/Parent 3 0 R
/Title (Computer-aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings0F)
>>
endobj
34 0 obj
<<
/A 100 0 R
/Parent 3 0 R
/Prev 101 0 R
/Title (INITIAL DISTRIBUTION LIST)
>>
endobj
35 0 obj
<<
/Limits [0 32]
/Nums [0 [102 0 R 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R
112 0 R 113 0 R 114 0 R 115 0 R 116 0 R 117 0 R 118 0 R 119 0 R 120 0 R 121 0 R
122 0 R 123 0 R 124 0 R 125 0 R 126 0 R]
1 [127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R
137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R
147 0 R]
2 [148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R 157 0 R
158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R 166 0 R 167 0 R
168 0 R 169 0 R 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R 176 0 R 177 0 R
178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R
188 0 R 189 0 R 190 0 R 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R
198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R 207 0 R
208 0 R 209 0 R 210 0 R 211 0 R 212 0 R 213 0 R 214 0 R 215 0 R 216 0 R 217 0 R
218 0 R 219 0 R]
3 [220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R
230 0 R 231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R
240 0 R]
5 [241 0 R 242 0 R 243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R 250 0 R
251 0 R 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R 258 0 R 259 0 R 260 0 R
261 0 R]
6 [262 0 R 263 0 R 264 0 R]
7 [265 0 R 266 0 R 267 0 R 268 0 R 269 0 R 270 0 R 271 0 R 272 0 R 273 0 R 274 0 R
275 0 R 276 0 R 277 0 R 278 0 R 279 0 R 280 0 R 281 0 R 282 0 R 283 0 R 284 0 R
285 0 R]
8 [286 0 R 287 0 R 288 0 R 289 0 R 290 0 R 291 0 R null 292 0 R null null
293 0 R 286 0 R]
9 [294 0 R 295 0 R 296 0 R 297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R 303 0 R
304 0 R 305 0 R 306 0 R 307 0 R]
10 [308 0 R 309 0 R 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R
318 0 R 319 0 R 320 0 R null 321 0 R null 322 0 R null 323 0 R 316 0 R]
11 [324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R 332 0 R 333 0 R
334 0 R 335 0 R 336 0 R 337 0 R 338 0 R 339 0 R 340 0 R]
12 [341 0 R 342 0 R 343 0 R null null 344 0 R null null null 345 0 R
null null null 346 0 R null null 347 0 R 348 0 R 349 0 R 350 0 R
351 0 R 352 0 R 351 0 R 353 0 R 351 0 R 354 0 R 351 0 R 355 0 R 351 0 R 356 0 R
357 0 R 358 0 R 359 0 R]
13 352 0 R 14 353 0 R 15 354 0 R
16 355 0 R 17 [360 0 R 361 0 R 362 0 R 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R
370 0 R]
18 [371 0 R 372 0 R 373 0 R 374 0 R 375 0 R 376 0 R 377 0 R 378 0 R 379 0 R 380 0 R
381 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R 389 0 R 390 0 R
391 0 R 392 0 R 393 0 R 394 0 R 395 0 R 396 0 R 397 0 R 398 0 R 399 0 R 400 0 R
401 0 R 402 0 R 403 0 R 404 0 R 405 0 R 406 0 R]
19 [407 0 R 408 0 R 409 0 R 410 0 R null null 411 0 R null null null
412 0 R null null 413 0 R 414 0 R 415 0 R null null 416 0 R null
null null 417 0 R null null null 418 0 R null null 419 0 R
null 420 0 R null null 421 0 R null 422 0 R null 423 0 R null
424 0 R null 425 0 R 407 0 R]
20 [null null 426 0 R null null null 427 0 R null null 428 0 R
429 0 R null null 430 0 R null null null 431 0 R null null
null 432 0 R null null null 433 0 R null null null 434 0 R
null null null 435 0 R null null null 436 0 R null null
null 437 0 R null null null 438 0 R null null null 439 0 R
null null null 440 0 R null null null 441 0 R null null
null 442 0 R null null 443 0 R null null 444 0 R null null
null 445 0 R null null null 446 0 R null null 447 0 R 448 0 R
449 0 R 450 0 R 451 0 R 452 0 R 453 0 R 454 0 R 455 0 R 456 0 R 457 0 R]
21 [458 0 R 459 0 R 460 0 R null null 461 0 R null null null 462 0 R
null null null 463 0 R null null 464 0 R null null 465 0 R
null null null 466 0 R null null 467 0 R 468 0 R 469 0 R 470 0 R
null null 471 0 R null null null 472 0 R null null 473 0 R
474 0 R 475 0 R 476 0 R 477 0 R 478 0 R 479 0 R 480 0 R 481 0 R 482 0 R 483 0 R]
22 [484 0 R 485 0 R 486 0 R 487 0 R 488 0 R 489 0 R 490 0 R 491 0 R 492 0 R 493 0 R
494 0 R 495 0 R null null 496 0 R null null null 497 0 R null
null null 498 0 R null null null null 499 0 R null null
null 500 0 R null null null 501 0 R null null null 502 0 R
503 0 R 504 0 R]
23 [505 0 R 506 0 R 507 0 R 508 0 R 509 0 R 510 0 R 511 0 R 512 0 R 513 0 R 514 0 R
515 0 R 516 0 R 517 0 R 518 0 R 519 0 R 520 0 R 521 0 R 522 0 R 523 0 R 524 0 R
525 0 R 526 0 R 527 0 R 528 0 R]
24 [529 0 R 530 0 R 531 0 R 532 0 R 533 0 R 534 0 R 535 0 R 536 0 R 537 0 R 538 0 R
539 0 R 540 0 R 539 0 R 541 0 R 542 0 R 541 0 R 543 0 R 544 0 R 545 0 R 546 0 R]
25 540 0 R
26 542 0 R 27 [547 0 R 548 0 R 549 0 R 550 0 R 551 0 R 552 0 R 553 0 R 554 0 R 555 0 R 556 0 R
557 0 R 558 0 R 559 0 R 560 0 R 561 0 R 562 0 R]
28 [563 0 R null null 564 0 R null null 565 0 R 566 0 R null null
567 0 R null null 568 0 R 569 0 R 570 0 R null null 571 0 R null
null 572 0 R 573 0 R 574 0 R null null 575 0 R null null 576 0 R
577 0 R 578 0 R 579 0 R null null 580 0 R null null 581 0 R 582 0 R]
29 [583 0 R 584 0 R 585 0 R 586 0 R 587 0 R 588 0 R 589 0 R 590 0 R 591 0 R 592 0 R
593 0 R 594 0 R 595 0 R 596 0 R 597 0 R 598 0 R 599 0 R]
30 293 0 R
31 323 0 R 32 425 0 R]
>>
endobj
36 0 obj
<<
/K [600 0 R]
/P 5 0 R
/S /Document
>>
endobj
37 0 obj
<<
/Annotation /Span
/Artifact /P
/Bibliography /BibEntry
/Chart /Figure
/Diagram /Figure
/DropCap /Figure
/Endnote /Note
/Footnote /Note
/InlineShape /Figure
/Outline /Span
/Strikeout /Span
/Subscript /Span
/Superscript /Span
/TextBox /Art
/Underline /Span
>>
endobj
38 0 obj
<<
/Length 641
/Filter /FlateDecode
>>
stream
x}TMo@)(@P*QzDBHqEqZ[J UDf[;C=1މQ@9qVtǷL~؉nm-FC ۈa)i @7B#2Ro5%4 tIszAa)}V㽴
Gu%-)NWT+so|,rCpR7|46C8KTMndϑYns5=_
5{RQL6PJig؞k1L7.>{uÏ.j ]htAо.V>czLO逭=A)\fЉACzqE>XmPl\ :
;\ٕeX%HX U ޱ]'vf<9fθn
Z*=оHYF|`{0z䫥CR<8d;9Cr9V`ҍ@(@hj Now֡7
U$Lh
2ci1u;g`ijP>枋c-gYe3})lr߲c[YRۻ쵷w7M
endstream
endobj
39 0 obj
<<
/XObject <<
/Im1 601 0 R
/Im2 602 0 R
>>
/Font 603 0 R
>>
endobj
40 0 obj
<<
/Length 1520
/Filter /FlateDecode
>>
stream
HW[o6~ׯ#9Do(iq[P{H؝Ӵ9lɖcu.sI_Wχg#'!KSfO@`Oer\UiV'JVXdڰT$iΧ]HepvTT$Eng?aikpJ2[ƶQzCVJxzXN3rj3+mjiUKz$m-Y#j .`=+:k$d/7n*7ir+Mײ̕|i;2˲hܽ`eC_s/D R`Vd[>У: (j A.j!
ˇ?/.guh[N̋`ҞT/Ɗ=uDtREѹCĜ<K[YqϜixt> 6Smg"-&*ND|1UtlDni&NiN{GSoHz.L)=6д$1u`LGmU31 B%g80(BN9&,ǜKBf
ׂBo]i_07llR"2M.}[
~LIW0Sxt /Jd!U[2x8 ќ8f'D9
Ih|iQڙ
ƣ+Tj=x:'E8ʕxHӱ s+V] m8/v}#«*2k4CsɗP/I
7#:p24 Ȧ5wmSw>ogt,.ftXVmc`Ź-ZkʭxDJ~XvE/$]+ZÕZ2 KSs}ȕ~Rc9# 7g"fН!L|/Xc^&ժU=ڇ'0]ս\2Ii܅EYm.{zyh7ð^ai A5#g[?`Z0ɺ']r>7`_ ;I8 i%ED|X<
R(;u!MWEj;{@SZT[[kN=_770;|5~{נZo305۳C%>%=fsr
Xd$! z 0§YA}A9l3n|qqtxZ[2w
jBcs!친n =1ψ۹oG,H pPXxDw n7?
O
2j{ɯ`!heXnM\y@Z22`Ɵ($P|y8n7єP
t"DĉFcڦ/FĶ
o#F>k('.YeNfy=Kt#9rxɕp(v`-AT/O 0!O_!(ʲVy<ˠW+Ι=&gVU@s/ Q
endstream
endobj
41 0 obj
<<
/ColorSpace 604 0 R
/ExtGState 605 0 R
/Font 606 0 R
/XObject <<
/Im0 607 0 R
>>
>>
endobj
42 0 obj
<<
/Length 379
/Filter /FlateDecode
>>
stream
HMo0>)-Z>66`H2!]I 2mK _\~boR:hAB[{DhpA P6lL-s@~R$p_!ՙ7W$Z$DJmH"' 44BˊHHKHO].|E*X0rdwH6
yS3gہKBȕK"}ԹG}ZK};5uΧ=LJ
?