NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.3. Attributes 2.3.2.3.1 Static and Dynamic Attributes107Attribute Types and Observers, I/II• Let the domain describer decide that parts of type P• have attributes of types A 1 , A 2 , ..., A t .• This means that the following two formal clauses arise:– P, A 1 , A 2 , ..., A t and– attr A 1 :P→A 1 , attr A 2 :P→A 2 , ..., attr A t :P→A tA Precursor for Requirements Engineering 107 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33