3 credits. Prereq: CSCE 740 Elicitation, analysis, and validation of software requirements, specification of software systems including formal specification methods; CASE tools.