Note:

This web page currently refers to an old version of the course, taught in 2003. For the current version of the course, please see the main course web page.

About the Course

• Orientation Handout
• Books & Readings (not yet available)
• Other RE resources
• Instructions for formatting your term papers

Seminar Notes

I) Introduction

• Week 1 (Jan 8, 2003): Course Orientation & Intro to RE
  • slides in pdf format
Required Reading (please read this paper before the class!):
• B. A. Nuseibeh and S. M. Easterbrook, "Requirements Engineering: A Roadmap", In A. C. W. Finkelstein (ed) "The Future of Software Engineering". (Companion volume to the proceedings of the 22nd International Conference on Software Engineering, ICSE'00). IEEE Computer Society Press.
Other Relevant Readings:
• A. van Lamsweerde, "Requirements engineering in the year 00: a research perspective", Proceedings, 22nd International Conference on Software Engineering (ICSE'00), Limerick, Ireland, 5-9th June, 2000, pp5-19. IEEE Computer Society Press. (available to UofT users here)

II) Basics of RE

• Week 2 (Jan 15, 2003): Basics of RE
  • slides in pdf format
  Required Reading (please read this paper before the class!):
  • Jackson, M. (1997). The Meaning of Requirements. Annals of Software Engineering, Vol 3, Pp5-21, Baltzer Science Publishers. (available to UofT users here)
  • Note: this issue of Annals was a special issue on RE. Some of the other papers are worth looking at too.
  Other Relevant Readings:
  • Zave, P. and Jackson, M. (1997). Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology 6(1) 1-30. ACM Press. (available to UofT users here)

III) Eliciting Requirements

• Week 3 (Jan 22, 2003): Basic Elicitation Techniques
  • Slides in pdf: 2-up or 4-up
  Required Reading (please read this paper before the class!):
  • Allenby, K. and Kelly, T. (2001). Deriving Safety Requirements Using Scenarios. Proceedings, Fifth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 27-31, 2001. Pp228-235. IEEE Computer Society Press. (available to UofT users here)
  Other Relevant Readings:
  • Lloyd, W.J.; Rosson, M.B.; Arthur, J.D. (2002) Effectiveness of elicitation techniques in distributed requirements engineering. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 311- 318. (available to UofT users here)
    
• Week 4 (Jan 29, 2003): Cognitive and Contextual Elicitation Techniques
  • Slides in pdf: 2-up or 4-up.
Required Reading (please read this paper before the class!):
• Goguen, J., & Linde, C. (1993). Techniques for Requirements Elicitation. Proceedings, First IEEE International Symposium on Requirements Engineering (RE'93) San Diego, California, USA, pp. 152-164. IEEE Computer Society Press.(available to UofT users here)
Other Relevant Readings:
• Potts, C.; Newstetter, W.C. (1997). Naturalistic inquiry and requirements engineering: reconciling their theoretical foundations. Proceedings, Third IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, USA, pp. 118 -127. IEEE Computer Society Press. (available to UofT users here)

IV) Modelling and Analysing Requirements

• Week 5 (Feb 5, 2003): Modeling Enterprises and Goals
  • Slides in pdf: 2-up or 4-up
Required Reading (please read this paper before the class!):
• van Lamsweerde, A.; Darimont, R.; Massonet, P. (1995). Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. Proceedings, Second IEEE International Symposium on Requirements Engineering (RE'95), York, UK, pp194-203. IEEE Computer Society Press. (available to UofT users here)
Other Relevant Readings:
• Yu, E.S.K. (1997) Towards modelling and reasoning support for early-phase requirements engineering. Proceedings, Third IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, USA, pp 226 -235. IEEE Computer Society Press. (available to UofT users here)
• van Lamsweerde, A. (2001) Goal-oriented requirements engineering: a guided tour. Proceedings, Fifth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 27-31, 2001. Pages: 249-262. (available to UofT users here)
  
• Week 6 (Feb 12, 2003): Modeling Functional Behaviour
  • slides in pdf: 2-up or 4-up
  Required Reading (please read this paper before the class!):
  • Whittle, J.; Schumann, J. (2000) Generating statechart designs from scenarios. Proceedings, 22nd IEEE International Conference on Software Engineering (ICSE-00), Limerick, Ireland, 4-11 June 2000. Pages: 314-323. (available to UofT users here)
  Other Relevant Readings:
  • Fichman, R.G.; Kemerer, C.F. (1992). Object-oriented and conventional analysis and design methodologies. IEEE Computer, 25 (10) 22 -39, Oct. 1992. (available to UofT users here)
  • Glinz, M. (2000). Problems and Deficiencies of UML as a Requirements Specification Language. Proceedings of the Tenth International Workshop on Software Specification and Design (IWSSD-10). San Diego. pp11-22. IEEE Computer Society Press. (available to UofT users here)
    
• Week 7 (Feb 19, 2003): No seminar - Reading Week
  
• Week 8 (Feb 26, 2003): Formal modeling and reasoning
  • slides in pdf: 2up or 4-up
  Required Reading (please read this paper before the class!):
  • Easterbrook, S. M., R. Lutz, R. Covington, J. Kelly, Y. Ampo and D. Hamilton, Experiences Using Lightweight Formal Methods for Requirements Modeling, IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Practice, vol. 24, (1), 1998. (available to UofT users here)
  Other Relevant Readings:
  • Greenspan, S.; Mylopoulos, J.; Borgida, A. (1994) On formal requirements modeling languages: RML revisited. Proceedings, 16th International Conference on Software Engineering (ICSE-16) pp135 -147. IEEE Computer Society Press. (available to UofT users here)
  • Heitmeyer, C. L., Jeffords, R. D., & Labaw, B. G. (1996). Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology, 5(3), 231-261. (available to UofT users here)
  • Heimdahl, M.P.E, and Leveson, N. G. (1996) Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Transactions on Software Engineering, Vol 22 No 6, June 1996. (available to UofT users here)

V) Communicating Requirements

• Week 9  (Mar 5, 2003): Specifications & Traceability
  • slides in pdf: 2up or 4up
  Required Reading (please read this paper before the class!):
  • Cleland-Huang, J., Chang, C.K., Sethi, G., Javvaji, K.; Hu, H., Xia, J. (2002) Automating speculative queries through event-based requirements traceability. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 289- 296. (available to UofT users here)
Other Relevant Readings:
• Gotel, O. C. Z. and Finkelstein A. C. W. (1995) Contribution Structures. Proceedings of the 2nd IEEE International Symposium on Requirements Engineering (RE'95), York, UK, pp. 100-107, March 27-29 1995. IEEE Computer Society Press. (available to UofT users here)
• Ramesh, B. and Jarke, M. (2001) Toward reference models for requirements traceability. IEEE Transactions on Software Engineering, Volume: 27 1, January 2001, Pages: 58 -93. (available to UofT users here)
• IEEE Standards Board (1998) IEEE Recommended Practice for Software Requirements Specifications. IEEE-STD-830-1998.(available to UofT users here)
• Wilson, W.M.; Rosenberg, L.H.; Hyatt, L.E. (1997) Automated Analysis of Requirement Specifications. Proceedings of the Nineteenth International Conference on Software Engineering (ICSE-97), Boston, MA, May 17-23, Pages: 161 -171. (available to UofT users here)

VI) Agreeing Requirements

• Week 10 (Mar 12, 2003): Validating and Prototyping Requirements
  • Slides in pdf: 2up or 4up
  Required Reading (please read this paper before the class!):
  • Porter, A.A.; Votta, L.G., Jr.; Basili, V.R. (1995) Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering, 21 (6) 563 -575, June 1995. (available to UofT users here)
  Other Relevant Readings:
  • Davis, A., (1992) Operational Prototyping: A New Development Approach. IEEE Software, 9, 5 (September 1992), pp. 70-78. (available to UofT users here)
  • Lichter, H. Schneider-Hufschmidt, M. Zullighoven, H. (1993) Prototyping in industrial software projects-bridging the gap between theory and practice. Proceedings, 15th International Conference on Software Engineering (ICSE-93), Baltimore, MD, USA, 17-21 May 1993, Pages: 221-229. (available to UofT users here)
    
• Week 11 (Mar 19, 2003): Negotiation and Conflict in RE
  • Slides in pdf: 2-up or 4-up
  Required Reading (please read this paper before the class!)
  • Damian, D.E.H.; Eberlein, A.; Shaw, M.L.G.; Gaines, B.R. (2000) Using different communication media in requirements negotiation. IEEE Software, Volume: 17 Issue: 3, May-June 2000. Page(s): 28 -36. (available to UofT users here)
  Other Relevant Readings:
  • Boehm, B.; In, H (1996) Identifying quality-requirement conflicts. IEEE Software 13 (2) 25-35. March 1996. (available to UofT users here)
  • S. M. Easterbrook (1994) Handling Conflict between Domain Descriptions with Computer-Supported Negotiation. Knowledge Acquisition: An International Journal, Vol 3, Pp255-289, 1991. (available here)

VII) Evolving Requirements

• Week 12 (Mar 26, 2003): Managing Change and Inconsistency
  • slides in pdf: 2up or 4up
  Required Reading (please read this paper before the class!)
  • Anton, A.I.; Potts, C. (2001) Functional paleontology: system evolution as the user sees it. Proceedings, 23rd IEEE International Conference on Software Engineering (ICSE'01), Toronto, Canada, 12-19 May, 2001. Pages: 421-430. (available to UofT users here)
  Other Relevant Readings:
  • Zowghi, D.; Offen, R. (1997) A logical framework for modeling and reasoning about the evolution of requirements. Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, USA, pp 247 -257. IEEE Computer Society Press. (available to UofT users here)
  • Easterbrook, S.; Nuseibeh, B. (1995) Managing inconsistencies in an evolving specification. Proceedings of the Second IEEE International Symposium on Requirements Engineering (RE'95), York, UK, Page(s): 48 -55. (available to UofT users here)
  • Faulk, S.R. (2001) Product-line requirements specification (PRS): an approach and case study. Proceedings of the Fifth IEEE International Symposium on Requirements Engineeirng (RE'01), Toronto, Canada. Pages 48-55. (available to UofT users here)

VIII) Putting it all together

• Week 13 (Apr 2 2003): Patterns and Problem Frames
  • slides in pdf: 2up or 4up
  Required Reading (please read this paper before the class!)
  • Hall, J.G.; Jackson, M.; Laney, R.C.; Nuseibeh, B.; Rapanotti, L. (2002) Relating software requirements and architectures using problem frames. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 137- 144. (available to UofT users here)
  Other Relevant Readings:
  • Jackson, M. (2000) Problem Analysis and Structure. In Engineering Theories of Software Construction, T. Hoare, M. Broy and R. Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf, August 2000, pages 3-20; IOS Press. (available from Michael Jackson's website)
    
• Week 14 (Apr 9, 2003): Course Summary
  • Slides in pdf: 2up or 4up
  Required Reading (please read this paper before the class!)
  • Kauppinen, M.; Kujala, S.; Aaltio, T.; Lehtola, L. (2002) Introducing requirements engineering: how to make a cultural change happen in practice. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 43- 51. (available to UofT users here)
  Other Relevant Readings:
  • Daneva, M. (2002) Using maturity assessments to understand the ERP requirements engineering process. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 255- 262. (available to UofT users here)
  • Nawrocki, J.; Jasinski, M.; Walter, B.; Wojciechowski, A. (2002) Extreme programming modified: embrace requirements engineering practices. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 9-13 September, 2002, Pages: 303- 310. (available to UofT users here)

Contact Details