Des tests à la preuve

À propos
Confidentialité
Mentions légales

Graph Chatbot

Description

Cette séance de cours couvre la transition des tests logiciels aux spécifications formelles, soulignant l'importance d'exigences et de spécifications claires en génie logiciel. Linstructeur discute des défis de la rédaction de spécifications précises, du rôle des spécifications formelles, et fournit des exemples de spécifications formelles dans la pratique.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Proximité ontologique

Génie informatique

Développement de logiciel: Software development process

Systems science and engineering

Pensée systémique: Ingénierie des systèmes

Séances de cours associées (27)

https://mediaspace.epfl.ch/media/0_lvwwtfrz

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Proximité ontologique

Génie informatique

Développement de logiciel: Software development process

Systems science and engineering

Pensée systémique: Ingénierie des systèmes

Séances de cours associées (27)

Afficher plus

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.

Processus de développement logiciel : méthodes agiles

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.

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.

Ingénierie Logicielle

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

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.