Séance de cours
Cette séance de cours couvre divers sujets liés au génie logiciel, à partir des annonces sur la structure du cours et les modifications apportées au calendrier du laboratoire. L'instructeur discute de l'importance des tests dans le développement de logiciels, en soulignant leur rôle dans la documentation du comportement des programmes, la protection contre les régressions et la facilitation de l'interaction des composants. La séance de cours se penche sur le concept d'histoires d'utilisateurs, les exigences, les spécifications et les spécifications formelles, soulignant la nécessité d'un langage clair et sans ambiguïté dans le développement de logiciels. À travers des exemples et des exercices, l'instructeur démontre les défis de la rédaction de spécifications précises et l'importance des spécifications formelles pour assurer l'exactitude du logiciel.