مادة دراسية
SWE-514 Software Engineering Process and Construction
Basics of Software construction, Formal methods for software construction, managing construction, Tools for model-driven construction. Software process definition, assessment and measurement. Practical consideration or group project: design of real - time systems and language analyzers using CASE tools, Design and verification of programs with concurrency, in the context of languages like UML State Machines (SDL) and Java.