NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.1. An Essay on Abstraction59• Well, the domain describer (i.e., I) apparently decided that the net,hub, link model should be for all these forms of transport.– Had the focus been more “narrow”,on for example only one of the∗ road, ∗ rail, ∗ air, or ∗ shiptransports,– then the terms hub and link might instead have been∗ street and∗ intersection;∗ rail line and∗ switch, etc.;∗ air lane and∗ airport;∗ sea lane and∗ harbour.respectively.A Precursor for Requirements Engineering 59 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5 and 6: 36 2. Domain Entities• When we ob
Page 7 and 8: 382. Domain Entities• Phenomena:
Page 9 and 10: 402. Domain Entities• Domain Onto
Page 11 and 12: 422. Domain Entities 2.1. Entities2
Page 19 and 20: 502. Domain Entities 2.2. Endurants
Page 21 and 22: 522. Domain Entities 2.2. Endurants
Page 23 and 24: 542. Domain Entities 2.3. Parts•
Page 25 and 26: 562. Domain Entities 2.3. Parts2.3.
Page 27: 582. Domain Entities 2.3. Parts2.3.
Page 59 and 60: 90 2. Domain Entities 2.3. Parts2.3
Page 69 and 70: 100 2. Domain Entities 2.3. Parts2.
Page 71 and 72: 1022. Domain Entities 2.3. Parts2.3
Page 79 and 80:
1102. Domain Entities 2.3. Parts2.3
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
118End of Lecture 1: Last Session
show all

NICE TO SEE YOU BACK - DTU Informatics

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?