Mandatory educational components

Tool environments and programming technologies

Computational theory and computer technology

Validation and verification of software systems