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: 544 <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 />
• First the domain engineer and the relevant requirement stakeholders determine<br />
which phenomena<br />
/home/db/tseb/kap3/kap3-1<br />
⋆ simple entities,<br />
⋆ functions,<br />
⋆ events and<br />
⋆ behaviours<br />
<strong>of</strong> the domain need be represented by the machine.<br />
• Then they go through each <strong>of</strong> these kinds <strong>of</strong> phenomena<br />
• to determine what sharing means: what properties <strong>of</strong><br />
⋆ simple entities,<br />
⋆ functions,<br />
are to be satisfied by the machine.<br />
⋆ events and<br />
⋆ behaviours<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db