Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.
Introduit la vérification formelle et ses avantages par rapport aux méthodes de test traditionnelles, en discutant de la démonstration automatique des théorèmes et en compilant les déclarations d'exactitude dans des conditions de vérification.
Explore les choix discrets et l'apprentissage automatique comme méthodes complémentaires, en discutant de l'apprentissage supervisé, des avantages du modèle, des pièges, des biais d'agrégation, de la classification probabiliste et des données de panel.
Introduit la cartographie topographique du cerveau, les voies auditives, l'organisation du cortex moteur et le modèle linéaire général pour l'analyse des données IRMf.
Couvre l'identification et la spécification du modèle dans l'analyse des séries chronologiques, y compris les modèles d'EI et l'estimation des moindres carrés.
Souligne l'importance de la gestion des compromis pour la robustesse des produits dans la conception mécanique, en utilisant l'analyse multi-objectifs de monotonicité pour l'analyse quantitative et les efforts de refonte systématique.
Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
Explore les processus de développement logiciel, comparant le modèle Waterfall aux méthodes Agile, en se concentrant sur Scrum, les valeurs, les principes et les rôles d'équipe.
