8. Autres aspects de B
8.1 Liens avec la spécification en langage naturel
Indépendamment du niveau d'abstraction choisi, pour écrire un modèle formel, un processus général est à appliquer, comprenant le choix des entités mathématiques les plus aptes à représenter ce que l'on veut représenter, l'énoncé des lois statiques ou dynamiques qui vont régir le comportement voulu ou observé du système. Plus le niveau est abstrait, plus le choix des entités mathématiques est délicat. Une spécification formelle ne doit pas, en principe, formaliser des traitements, mais des propriétés si l'on veut que cela présente un intérêt important en évitant les erreurs de haut niveau.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Autres aspects de B
Applications industrielles
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
