17.11.2014 Views

L6: Analysers: Parts ad Materials - DTU Informatics

L6: Analysers: Parts ad Materials - DTU Informatics

L6: Analysers: Parts ad Materials - DTU Informatics

SHOW MORE
SHOW LESS

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.1. Introductory Notions11.1.1. Discovery<br />

291<br />

• The domain discoverers are applied “mentally”.<br />

⋄ That is, not in a mechanisable way.<br />

◦ It is not like when procedure calls<br />

◦ invoke computations<br />

◦ of a computer.<br />

⋄ But they are applied by the domain describer.<br />

⋄ That person is to follow the ideas laid down for<br />

⋄ these domain discoverers<br />

◦ (as they were in the earlier parts of this talk).<br />

⋄ They serve to guide the domain engineer<br />

◦ to discoverer the desired domain entities<br />

◦ and their properties.<br />

• In this section we shall review an ensemble of (so far) nine domain<br />

discoverers and (so far) four domain analysers.<br />

A Precursor for Requirements Engineering 291 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 31, 2012: 09:02

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!