La validation des systèmes est un domaine qui étudie les principes fondamentaux de la communication des systèmes et du traitement de l'information. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système afin de déterminer si ce dernier fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire.

Profitez d'une croissance illimitée avec un an de Coursera Plus pour 199 $ (régulièrement 399 $). Économisez maintenant.

Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements

Instructeur : Jan Friso Groote
4 768 déjà inscrits
Inclus avec
(13 avis)
Compétences que vous acquerrez
- Catégorie : Systèmes de communication
- Catégorie : Science Informatique Théorique
- Catégorie : Architecture logicielle
- Catégorie : Modélisation des données
- Catégorie : Conception et mise en œuvre du système
- Catégorie : Vérification et validation
- Catégorie : Protocoles de réseau
- Catégorie : Conception de logiciels
- Catégorie : Analyse des systèmes
- Catégorie : Algorithmes
Détails à connaître

Ajouter à votre profil LinkedIn
2 devoirs
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Il y a 2 modules dans ce cours
Nous montrons comment le comportement de programmes simples et de protocoles de communication peut être modélisé et analysé. En outre, nous introduisons la notion de processus linéaire : une forme normale simple à laquelle tout comportement peut être réduit. Cette forme normale est le cheval de bataille de l'analyse du comportement.
Inclus
8 vidéos1 lecture1 devoir
Dans ce cours, vous verrez différentes techniques de modélisation qui peuvent être utilisées pour réduire l'espace d'état de vos modèles.
Inclus
5 vidéos1 devoir
Instructeur

Offert par
En savoir plus sur Développement de logiciels
Statut : PrévisualisationUniversity of Leeds
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?




Foire Aux Questions
Pour accéder aux supports de cours, aux devoirs et pour obtenir un certificat, vous devez acheter l'expérience de certificat lorsque vous vous inscrivez à un cours. Vous pouvez essayer un essai gratuit ou demander une aide financière. Le cours peut proposer l'option "Cours complet, pas de certificat". Cette option vous permet de consulter tous les supports de cours, de soumettre les évaluations requises et d'obtenir une note finale. Cela signifie également que vous ne pourrez pas acheter un certificat d'expérience.
Lorsque vous vous inscrivez au cours, vous avez accès à tous les cours de la spécialisation et vous obtenez un certificat lorsque vous terminez le travail. Votre certificat électronique sera ajouté à votre page Réalisations - de là, vous pouvez imprimer votre certificat ou l'ajouter à votre profil LinkedIn.
Oui, pour certains programmes de formation, vous pouvez demander une aide financière ou une bourse si vous n'avez pas les moyens de payer les frais d'inscription. Si une aide financière ou une bourse est disponible pour votre programme de formation, vous trouverez un lien de demande sur la page de description.
Plus de questions
Aide financière disponible,







