Advanced Topics in Software Engineering: Foundations

Course
Identifier: 
COM S 665A
  1. Credits: 3 credit hours
  2. Textbook, title, author, and year: None
  3. Other supplemental materials: None

Course Information

  1. Brief description of the content of the course: Advanced topics on theoretical and technical foundations in Software Engineering. Content varies by semester. Maximum 6 credits of COM S 665 may apply toward graduation.
  2. Prerequisites or co-requisites: COM S 511

Topics

  1. Review of background material
  2. Discrete-state systems
  3. Qualitative description and analysis of discrete-state systems
  4. Quantitative description and analysis of discrete-state systems
  5. Advanced topic decision diagram techniques to study large discrete-state systems