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. Il s'agit de la prochaine étape logique de l'informatique et de l'amélioration du développement des logiciels en général. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système pour voir si celui-ci fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire. Les techniques mises en avant dans la validation des systèmes permettent de prouver l'absence d'erreurs. Elles permettent de concevoir un système intégré dont le comportement est structurellement sain et, accessoirement, vous obligent à rendre le comportement simple et intuitif. Cela signifie que les systèmes ne se comportent pas seulement correctement, mais qu'ils sont aussi beaucoup plus faciles à maintenir et à adapter. modéliser le comportement d'un processus" est le MOOC qui fait suite à "Automates et équivalences comportementales". Ce MOOC vous montre comment modéliser le comportement des processus, en particulier les protocoles et les algorithmes distribués, approfondir les propriétés du comportement des systèmes, et garder les choses simples pour éviter une explosion de l'espace d'état. Matériel de lecture. J.F. Groote et M.R. Mousavi. Modélisation et analyse des systèmes communicants. The MIT Press, 2014 Ce cours est la deuxième partie de l'ensemble des cours sur la validation des systèmes. Le Jeu de données de validation de système, en tant qu'ensemble de cours, fait partie d'un programme en ligne plus large de 28Digital appelé "Internet des objets à travers les systèmes embarqués".

Validation du système (2) : Modéliser le comportement du processus
Cela se termine bientôt : Obtenez des compétences de niveau supérieur avec Coursera Plus pour 199 $ (régulièrement 399 $). Économisez maintenant.

Validation du système (2) : Modéliser le comportement du processus

Instructeur : Jan Friso Groote
4 019 déjà inscrits
Inclus avec
(10 avis)
Compétences que vous acquerrez
- Catégorie : Analyse des systèmes
- Catégorie : structures de données
- Catégorie : Modélisation mathématique
- Catégorie : Algorithmes
- Catégorie : Informatique distribuée
- Catégorie : Principes de programmation
- Catégorie : Science Informatique Théorique
- Catégorie : Vérification et validation
Détails à connaître

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

Il y a 3 modules dans ce cours
Inclus
7 vidéos1 devoir
Inclus
8 vidéos1 devoir
Inclus
3 vidéos1 devoir
Instructeur

Offert par
En savoir plus sur Développement de logiciels
Statut : Essai gratuitUniversity of Colorado Boulder
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,







