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 programmation des microcontrôleurs, la protection de la mémoire, l'optimisation du code, le débogage, la gestion de projet et le contrôle matériel.
Souligne la nécessité d'un logiciel efficace dans les systèmes embarqués, en discutant des optimisations pour réduire les délais d'exécution des pires cas.
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.
Explore le cycle de vie du développement logiciel, les méthodologies, les choix technologiques, les pratiques agiles et les termes communs de l'industrie de la technologie.
