Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Dines Bjorner: 8th DRAFT: October 14, 2008<br />
SOFTWARE ENGINEERING: The Essentials<br />
invisible<br />
Nov.2008 Lectures: TU Graz<br />
Chap.3, Sect. 5 Lecture: 10. Slide: 540 <strong>of</strong> 1352<br />
/home/db/tseb/kap3/kap3-1<br />
Requirements Acquisition<br />
c○ Dines Bjørner, 2008<br />
Fredsvej 11<br />
DK-2840 Holte<br />
Denmark November 16, 2008, 08:48<br />
• We have, on Slide 511, outlined the three stages <strong>of</strong> requirements<br />
modelling:<br />
⋆ domain requirements,<br />
⋆ interface requirements and<br />
⋆ machine requirements.<br />
• These requirements modelling stages were first overviewed, in more<br />
detail on Slides 504–505.<br />
• The three requirements modelling stages will be dealt with in<br />
“final” detail on Slides 585–679.<br />
• We shall assume you have followed those brief outlines.<br />
• Requirements acquisition now basically follows these three kinds <strong>of</strong><br />
requirements modelling stages.<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db