Explore les principes et les exemples du processus d'examen de la conception, en mettant l'accent sur la documentation, l'analyse des risques et la vérification.
Couvre l'essentiel de l'ingénierie logicielle, en mettant l'accent sur les exigences, la modularité et l'abstraction, avec des idées et des exemples pratiques.
Couvre le 'V-Model' de l'ingénierie des systèmes, en mettant l'accent sur les bonnes exigences, l'architecture du système, la génération de concepts et la sélection de concepts.
Explore la mise en oeuvre d'un interprète abstrait octagonique pour les programmes C, couvrant l'interprétation abstraite, les contraintes octogonales, les fermetures, les pointeurs et l'analyseur FrontC.
Couvre l'objectif, les étapes et les intervenants dans les examens de conception, en mettant l'accent sur l'importance de l'analyse et de la vérification des risques.
Explore l'application des moteurs monophasés dans l'horlogerie, y compris la dissymétrie, le couple mutuel, les montres à quartz et la technologie MEM.
Introduit le paradigme du calcul quantique numérique, couvrant les qubits, les portes logiques quantiques, la préparation de l'état et la correction des erreurs.
Explore les systèmes de réalité virtuelle, y compris les écrans, les systèmes de suivi et les contrôleurs, ainsi que les comparaisons d'appareils et les environnements logiciels.