• A deeper look into design methodologies, requirements, specification, and system analysis.

• Formal and informal methods for system specification.

• Quality assurance.