Andreas Stefik, Ph.D.

Associate Professor of Computer Science at the University of Nevada, Las Vegas

CS 772: Software Architecture

Survey of advanced techniques for specifying and designing large software systems. System verification. Reliability and project management.

CS 370, CS 672, and CS 660, or consent of instructor.


The purpose of this course is to give students an introduction to modern software engineering. Notably, in modern software engineering, we often want to gain an accurate model or representation of human behavior under some conditions. For example, we might want to know how competing procedures impact a company's bottom line or the design of a programming language impacts professionals or students. Students will focus on learning empirical and statistical procedures for reliably analyzing software development in practice.