4. Mise en œuvre des méthodes formelles lors de la réalisation d’une application logicielle
4.1 Spécification des exigences du logiciel
Concernant les exigences du logiciel, elles doivent respecter au moins trois points :
être claires, précises, univoques, vérifiables, testables, maintenables et réalisables ;
être traçables avec les éléments d’entrée ;
être non ambiguës et ne pas être susceptibles d’être mal comprises.
Concernant la gestion des exigences, nous avons présenté les concepts et les méthodes dans le cadre...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Mise en œuvre des méthodes formelles lors de la réalisation d’une application logicielle
Réalisation mettant en œuvre les approches formelles
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.
