Couvre les aspects essentiels du génie logiciel, en se concentrant sur la compréhension des étapes du développement de programmes et de la gestion des erreurs.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Explore les pratiques exemplaires en matière d'élaboration, de débogage, d'essai et de gestion des codes, en mettant l'accent sur l'exactitude, la documentation et l'efficacité.
