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.2. Atomic Parts63• When we observe2.3.1.2 Atomic Parts– what we have decided, i.e., analysed, to be an endurant,– more specifically an atomic part, of a domain,– we are observing an instance of an atomic part.• When we describe those instances– we describe, not their values, i.e., the instances,– but their∗ type and∗ properties.A Precursor for Requirements Engineering 63 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
642. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.2. Atomic Parts• In this section on endurant entitieswe shall unfold what these properties might be.• But, for now, we focus on the type of the observed atomic part.• So the situation is that we are observing a number of atomic parts– and we have furthermore decided that– they are all of “the same kind”.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 64 Domain Science & Engineering
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 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 82 and 83:
2. Domain Entities 2.3. Parts2.3.3.
Page 84 and 85:
Page 86 and 87:
Page 88:
118LONG BREAKc○ Dines Bjørner 20
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?