SE4935 Formal Methods for Systems Architecting
This course provides students with an introduction to the application of formal methods to system architecture model and design analysis. Students are exposed to theories and practices that use mathematics and formal logic for the formulation, interrogation, assessment and measurement of properties of architecture models and the designs they describe. Drawing on their academic and professional experiences, students practice writing specifications of architecting best practices and lessons learned in both natural language and formal mathematical notation, and applying them in systems engineering tools. DoD system models rich in design patterns are used as a basis for formulation. The aim of this course is to apply systematic and formal thinking to the development and evaluation of system architectures.
Lecture Hours
4
Lab Hours
0