Couvre l'ingénierie des systèmes, la gestion de projet, l'assurance qualité et les mécanismes spatiaux, en soulignant l'importance des exigences et de la vérification appropriées.
Explore Scrum, le modèle en cascade, le travail d'équipe, les revues de code et la conception de logiciels asynchrones dans le développement de logiciels.
Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.
