1. Preuve de programmes. Processus IDM
Apprendre les langages de programmation est a priori évident et très facile quand on utilise des langages et des environnements de programmation de très haut niveau et tant qu'on en reste à développer et tester des programmes pour des applications relativement ponctuelles.
Dans ce paragraphe, on montre les raisons pour lesquelles concevoir et écrire des programmes en milieu industriel devient rapidement très difficile, voire impossible.
Programmer nécessite, en fait, l'implication de plusieurs équipes de spécialistes intervenant tout au long du processus de développement des logiciels et pour assurer la maintenance corrective et évolutive des applications. Des démarches ont été suggérées et proposées pour organiser et planifier l'implication de ces spécialistes dans le processus. Cependant, dans...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Preuve de programmes. Processus IDM
Logique de Hoare
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
"Technologies logicielles Architectures des systèmes"
(
408 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.
