Feb 17, 2025  
2020-2021 Graduate Catalog 
    
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

SENG 6250 - Software Systems Modeling and Analysis


3

P/C: SENG 6230  or consent of instructor. Methods for the construction of software including formal notation language and its application to the analysis and specification of software system requirements.