Software Requirements and Specification

I am teaching  Software Requirements and Specification(CSE 564) in Fall 2021.

This course examines the definitional stage of software development, analysis of specification representations, formal methods, and techniques emphasizing important application issues. The overarching aim of this course is to understand, develop, and evaluate requirements and specifications for software-based systems. The goal is to learn the concepts and principles useful for developing model-based requirements. Semi-formal and formal modeling methods are essential toward building today’s and future complex and scalable software-based systems. Frameworks and tools are becoming crucial artifacts in software requirements documentation and specification. To this end, a course project will be used as an enabler to gain hands-on experience with the requirements engineering concepts, methods, frameworks, and tools.


version Fall 2021


This course includes 26 lectures as follows:

  • Software complexity and scale traits
  • Requirements engineering foundations and specifications
  • Elicitation of stakeholders’ needs
  • Requirements and specification documentation, tools, and frameworks
  • Requirements risk and analysis
  • Define and document stakeholders’ requirement
  • Develop structural and behavioral requirement specifications
  • Apply requirements engineering concepts and modeling methods using tools and frameworks in a course project