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. 1, Subsect. 1 Lecture: 10. Slide: 494 <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 />
/home/db/tseb/kap3/kap3-1.tex<br />
An “Ideal Rule” <strong>of</strong> Requirements Engineering<br />
Principle 6 (Requirements Engineering [2) ]<br />
When prescribing requirements,<br />
.<br />
• formulate, at the same time, tests (theorems, properties for model checking)<br />
• whose actualisation should show adherence to the requirements<br />
• The rule is labelled “ideal”.<br />
⋆ We shall not show such precautions in this volume.<br />
⋆ They ought to be shown.<br />
⋆ But either<br />
⋄ we would show one, or a few instances,<br />
⋄ and they would “drown” in the mass <strong>of</strong> material otherwise presented.<br />
⋆ Or they would, we claim, trivially take up too much space.<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db