NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology97Example: 13 Documents: A Conceptual Mereology.• The mereology of, for example, this document,– that is, of the tutorial slides,is determined by the author.• There unfolds, while writing the document,– a set of unique identifiers– for section, subsection, sub-subsection, paragraph, etc., units.and– between texts of a “paper version” of the documentand slides of a “slides version” of the document.A Precursor for Requirements Engineering 97 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
982. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology• This occurs as the author necessarily– inserts cross-references,∗ in unit texts to other units, and∗ from unit texts to other documents (i.e., ‘citations’);– and while inserting “page” shifts for the slides.• From those inserted referencesthere emerges what we could call the document mereology;c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 98 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 13 and 14:
442. Domain Entities 2.1. Entities2
Page 15 and 16: 462. Domain Entities 2.1. Entities2
Page 17 and 18: 482. 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 88: 118LONG BREAKc○ Dines Bjørner 20
show all

NICE TO SEE YOU BACK - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?