Learning Resource — University of Waterloo
CS445/ECE451/CS645 Textbook
This content was thoughtfully created and tailored for CS445/ECE451/CS645, for students at the University of Waterloo.
It features a collection of uniquely designed practice problems and in-depth explanations aimed at supporting students in mastering course concepts.
All notes are mine. I asked an AI tool to handle formatting only.
This Textbook isn't a substitute for attending lectures. Class discussion often expands on topics in response to student questions, and I add commentary, extra examples, and explanations that don't make it into the written version.
Published: August 2026
Table of Contents
- IntroAbout the Textbook↗
- Ch. 01Introduction to Requirements Engineering↗
- Ch. 02Requirements Elicitation↗
- Ch. 03The Requirements Engineering Reference Model↗
- Ch. 04The Domain Model↗
- Ch. 05Use Cases and Scenarios↗
- Ch. 06Sequence Diagrams↗
- Ch. 07Functional Modelling↗
- Ch. 08Object Constraint Language↗
- Ch. 09Behavioural Modelling↗
- Ch. 10Quality Requirements↗
- Ch. 11Requirements Negotiation and Conflict Management↗
- Ch. 12Prioritizing Requirements↗
- Ch. 13Cost Estimation↗
- Ch. 14Risk Analysis↗
- Ch. 15Temporal Logic↗
- Ch. 16Validation and Verification↗
- Ch. 17Introduction to Project Management↗
- Ch. 18Requirements Engineering for AI Systems↗
- Ch. 19SRS Documentation↗