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.
SOFTWARE ENGINEERING: The Essentials<br />
Nov.2008 Lectures: TU Graz<br />
Chap.3, Sect. 2, Subsect. 1, Subsubsect. 11 Lecture: 10. Slide: 522 <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 />
Dines Bjorner: 8th DRAFT: October 14, 2008<br />
invisible<br />
• We refer to Slide 223.<br />
/home/db/tseb/kap3/kap3-1.tex<br />
Stages <strong>of</strong> Requirements Engineering, An Overview <strong>of</strong> “What to Do ?”<br />
[11] Requirements Theory Formation<br />
• The purpose <strong>of</strong> this stage <strong>of</strong> development<br />
⋆ further develop the domain theory<br />
⋆ by examining the theorems <strong>of</strong> that theory as to their also holding<br />
for the specific requirements<br />
⋆ hold and to develop such theorems that hold for the specific<br />
requirements.<br />
• For more specifics on this topic we refer to Slides 685–685.<br />
• For the example ‘requirements theory formation’ document we refer<br />
to Appendix Slides 1254–1254.<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db