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. 1, Subsect. 1 Lecture: 10. Slide: 496 <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 />
[ Discussion <strong>of</strong> The Requirements Concept, Some Principles ]<br />
Dines Bjorner: 8th DRAFT: October 14, 2008<br />
invisible<br />
• The approach which we put forward in these lectures, namely<br />
⋆ “deriving” domain requirements “directly” from domain<br />
descriptions, and<br />
⋆ systematically conceiving interface requirements also from<br />
domain descriptions<br />
• shall help secure adherence to this ‘Requirements Adequacy’<br />
principle.<br />
• We shall soon explain the terms ‘domain requirements’ and<br />
‘interface requirements’.<br />
/home/db/tseb/kap3/kap3-1.tex<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db