Formal Methods for Systems Architecting

Course #SE4935

Start Starts: not available

Clock Est. completion in 3 months

Location pin Offered through Distance Learning

Avg. tuition cost per course: See tuition Info For specific tuition costs of each program or contact information, please contact the NPS Tuition office at tuition@nps.edu .

Learn more about Service Obligation Info Officers accepting orders to a Graduate Education Program (GEP) are obligated to serve on active duty after completion.

Questions? Reach out directly:

NPS Online Student Support

online@nps.edu

Email
Offerings database access

Overview

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.

Prerequisites

  • SE4150
  • SE3100
  • SI4021