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. 7, Subsect. 3, Subsubsect. 3 Lecture: 10. Slide: 556 <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 />
/home/db/tseb/kap3/kap3-1<br />
Business Process Reengineering, BPR and the Requirements Document<br />
Place in Formalisation Document<br />
• The above statements as how to express the “merging” <strong>of</strong> BPR<br />
requirements into the overall requirements document apply to the<br />
narrative as well as to the formalised prescriptions.<br />
• We may assume that there is a formal domain description, D BP ,<br />
(<strong>of</strong> business processes) from which we develop the formal<br />
prescription <strong>of</strong> the BPR requirements.<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db