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.1. Introductory Notions11.1.3. Domain Indexes<br />
301<br />
• The domain discoverers are therefore provided with arguments:<br />
⋄ either a single domain index, DOMAIN FUNCTION(l),<br />
⋄ or a pair, DOMAIN FUNCTION(l)({l i ,l j , · · · ,l k }),<br />
◦ the single domain index l and<br />
◦ a set of domain indices, {l i ,l j , · · · ,l k }<br />
where DOMAIN FUNCTION is any of the<br />
◦ domain discoverers or<br />
◦ domain analysers<br />
listed earlier.<br />
A Precursor for Requirements Engineering 301 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 31, 2012: 09:02