Formal models and methods and their application in all phases of software engineering process; operational, algebraic, model-based and property-based specification methods; verification of consistency and completeness of specifications; verification of properties of software; specification construction and verification using method-based tools.

CILO-1: Construct formal specifications using operational, algebraic, model-based, and property-based methods. CILO-2: Verify the consistency and completeness of software specifications using formal models and methods. CILO-3: Apply formal semantics to software engineering problems. CILO-4: Utilize method-based tools for the construction and verification of software specifications.