Slides and additional references will be posted here.

• 0 Introduction and Admin
• 1 Software Development Process, State of Practice
• 2 What are Requirements, Requirements Engineering Process
  • Dan Berry. More Requirements Engineering Adventures with Building Contractors
• 3 Problem Analysis
• 4 Requirements Elicitation
• 5 UML Overview, Spiros UML Slides
• 6 Expressing Functional Requirements: Use Cases
  • IEEE SRS Template
  • Craig Larmen's Use Case Modeling: Writing Requirements in Context
  • Who Killed the Virtual Case File? from IEEE Spectrum
  • Top Ten Use Case Mistakes
• 7 Expressing Functional Requirements: Domain Models
• 8 Expressing Functional Requirements: Interactions
• 9 Mid-term Review
• 10 Requirements Validation
• 11 UI and Non-Functional Requirements
• 12 Introduction to Formal Specifications, Proposition and Predicate Logic, Sets and Relations
• 13 Introduction to Alloy
  • Alloy Resources
  • Google Tech Talk on Using Java PathFinder for Model Checking
• 14 More Alloy Constructs
  • Alloy Code for the Academic Exercises
• 15 Static and Dynamic Models
  • Sports Team - Static Modeling

Sports Team - Dynamic Modeling

• 16 Tabular Expressions
  • Precise Documentation: The Key to Better Software
  • Software Aging
  • Dell Keyboard Case Study

• Department of CSE Home Page
• York Exam Schedule