L6: Analysers: Parts ad Materials - DTU Informatics
L6: Analysers: Parts ad Materials - DTU Informatics
L6: Analysers: Parts ad Materials - DTU Informatics
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
11. Towards a Calculus of Domain Discoverers 11.2. Domain <strong>Analysers</strong>11.2.1. IS MATERIALS BASED<br />
307<br />
Example: 45 Pipelines and Transports: <strong>Materials</strong> or <strong>Parts</strong>.<br />
• IS MATERIALS BASED(〈∆ Pipeline 〉) = true.<br />
• IS MATERIALS BASED(〈∆ Transport 〉)= false.<br />
A Precursor for Requirements Engineering 307 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 31, 2012: 09:02