Séances de cours associées à Des tests à la preuve

Des tests à la preuve

Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.

Développement de logiciels: Cycle de vie et méthodologies

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.

Tests logiciels : éviter et corriger les bugs

Souligne le rôle essentiel des tests logiciels dans la prévention et la résolution des bogues pendant le développement.

Bugs de programmation : Compréhension, réparation et prévention

Explore les défis de programmation, les techniques de débogage, les tests de logiciels et les pratiques de sécurité dans le développement de logiciels.

Scénarios et exigences : Idéation de conception et solutions

Couvre l'idéation de la conception, les scénarios, les exigences et l'importance de la narration dans les solutions de conception.

Scénarios et exigences

Plongez dans l'importance des scénarios et des exigences en matière de conception, en mettant l'accent sur la narration pour les solutions de conception.

Internship Insights: Améliorer la génération de code avec les LLM

Détails d'un projet de stage axé sur l'amélioration de la précision de la génération de code en utilisant de grands modèles de langage et un nouveau cadre appelé EPIGEN.

Scénarios et exigences

Explique les scénarios de conception, les exigences et une étude de cas de recommandation de vin.

Processus de développement logiciel : méthodes agiles Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Ingénierie Logicielle Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Sélection des concepts et exploration de l'espace commercial Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la sélection des concepts, la méthode Pugh Matrix, les examens préliminaires de conception, l'intégration des systèmes et la vérification dans l'ingénierie des systèmes.

Une introduction à l'ingénierie des systèmes: exigences, architecture et génération de concepts Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Exigences Définition Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes fondamentaux de la définition des exigences en ingénierie des systèmes, en soulignant l'importance d'exigences claires et concises pour une conception réussie du système.

Exigences: Témoignages d'utilisateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'importance de la contribution de l'utilisateur dans la définition des exigences et le développement des user stories.

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Ingénierie des systèmes : exigences, architecture et normes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'histoire, les définitions et les défis de l'ingénierie des systèmes, en soulignant l'importance des exigences dans la conception et l'architecture des systèmes.

Qualité des logiciels: Gestion des défauts et des stratégies d'essai Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des défauts, des stratégies d'essai et des défis en matière de qualité des logiciels, avec des exemples du monde réel et des études de cas.

Ingénierie des systèmes: Introduction et intervenants Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit l'ingénierie des systèmes, mettant l'accent sur l'analyse des intervenants et la définition claire des exigences pour la réussite du projet.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Alignement entre les activités et les technologies de l'information : exigences Gestion et APP Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'alignement des activités/TI, la gestion des exigences et une introduction à l'automatisation des processus robotiques.