Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SOFTWARE ENGINEERING: The Essentials<br />
Nov.2008 Lectures: TU Graz<br />
Chap.3, Sect. 5, Subsect. 2 Lecture: 10. Slide: 545 <strong>of</strong> 1352<br />
c○ Dines Bjørner, 2008<br />
Fredsvej 11<br />
DK-2840 Holte<br />
Denmark November 16, 2008, 08:48<br />
[ Requirements Acquisition, Interface Requirements Acquisition ]<br />
Dines Bjorner: 8th DRAFT: October 14, 2008<br />
invisible<br />
• This entails decisions on abstractions <strong>of</strong><br />
/home/db/tseb/kap3/kap3-1<br />
⋆ initial data input and refreshment,<br />
⋆ interactive computation <strong>of</strong> functions<br />
between the machine and the<br />
domain,<br />
⋆ “translation” <strong>of</strong> events in the domain<br />
into the machine, and<br />
⋆ interactive behaviours between the<br />
machine and the domain.<br />
• Again, each <strong>of</strong> these steps result in the input requirements acquisition document<br />
being futher annotated — as were the domain requirements acquisition<br />
documents.<br />
• Proper requirements modelling documents now take these annotated acquisition<br />
documents and rework them, “clean them up”, into proper requirements<br />
prescripton documents.<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db