08.03.2014 Views

Lect.10 - Institute of Software Technology

Lect.10 - Institute of Software Technology

Lect.10 - Institute of Software Technology

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!