3. Méthodes formelles, semi-formelles, structurées et techniques formelles
3.1 Définitions
La définition d’un modèle M est un moyen pour comprendre et/ou appréhender un problème/une situation. En général, la phase de spécification qui permet de s’approprier le cahier des charges passe par la création d’un modèle M .
Un modèle peut être plus ou moins proche du système étudié, on parle alors d’abstraction. Plus la modélisation est proche, plus les résultats obtenus...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Méthodes formelles, semi-formelles, structurées et techniques formelles
Mise en œuvre des méthodes formelles lors de la réalisation d’une application logicielle
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
"Systèmes ferroviaires"
(
62 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.
