Couvre les fondements théoriques de la théorie des choix, les décideurs, les alternatives, les attributs, les règles de décision, l'utilité et les hypothèses comportementales.
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 les méthodes de Préférences Étatées (SP), les modèles de choix et la conception expérimentale pour prédire le comportement individuel et la demande du marché.
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.
