L6: Analysers: Parts ad Materials - DTU Informatics
L6: Analysers: Parts ad Materials - DTU Informatics
L6: Analysers: Parts ad Materials - DTU Informatics
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
11. Towards a Calculus of Domain Discoverers 11.2. Domain <strong>Analysers</strong><br />
305<br />
11.2. Domain <strong>Analysers</strong><br />
• Currently we identify four analysis functions.<br />
• As the discovery calculus evolves<br />
⋄ (through further practice and research)<br />
⋄ we expect further analysis functions to be identified.<br />
A Precursor for Requirements Engineering 305 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 31, 2012: 09:02