Model-Based Software Devlpmnt

Catalog description

Model-Based Software Development (3-0) Engineering practices of formalized models as the basis for analyzing and specifying software artifacts. Topics include key software engineering skills required for formal modeling, techniques for model building and analysis, and applications of formal modeling techniques in the requirements, design, and implementation phases of software development.