Software Engineering
Master formal software specifications, architectural patterns, and production-grade CI/CD lifecycles.
This course provides comprehensive coverage of software engineering principles, contrasting theoretical formal verification with modern cloud-native development practices. Students analyze software reliability models, clean design patterns, domain-driven architectures, and automated testing pipelines. Graduates will bridge academic system modeling with enterprise-grade deployment, testing, and telemetry frameworks.
Curriculum
Two complete tracks. Study either or both — each has its own exam and certificate.
A mathematically rigorous exploration of formal specifications, algorithmic complexity bounds, structural design theory, and verification semantics across the software development lifecycle.
Theoretical foundations of software requirements derivation, predicate calculus specifications, and algebraic abstract data types.
- Axiomatic Semantics and Hoare Triples Lab40 min
- Z Notation and Model-Based Specification Lab45 min
- Formal Requirements Engineering and Traceability Lab35 min
Careers this prepares you for
- Software Systems Engineer
- Backend Architect
- Full-Stack Software Engineer
- DevOps & Quality Assurance Lead