Elicitation, analysis, and validation of software requirements, specification of software systems including formal specification methods; CASE tools.