Approches formelles pour le développement de logiciels

RSTI série TSI volume 25 - n°1/2006

Jacques Julliand, Jeanine Souquières - Collection RSTI - TSI

140 pages, parution le 15/04/2006

Ajouter à une liste

Indisponible

Résumé

Le champ d'application des logiciels est de plus en plus varié (aéronautique, spatial, transport, domotique...)- Les logiciels sont difficiles à maîtriser tant au niveau de leur conception, que de leur mise en oeuvre et de leur maintenance. Ils sont déployés dans des environnements variés (comme les systèmes embarqués, les systèmes distribués) et doivent satisfaire des contraintes sécuritaires et critiques, par exemple des contraintes de temps réel, de robustesse, ou d'évolutivité. Pour répondre à ces nouvelles exigences, les méthodes de modélisation et de validation basées pour la plupart sur des approches formelles ou semi-formelles sont de plus en plus utilisées. L'objectif est ici de faire le point sur les techniques et outils fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les thèmes abordés portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification (preuve et vérification algorithmique), à la synthèse de programme ou à leur validation par le test à partir de modèles formels.

L'auteur - Jacques Julliand

Autres livres de Jacques Julliand

Cours et exercices corrigés d'algorithmique

Découvrir tous les livres de Jacques Julliand

Sommaire

Indexation multiple et automatisée de composants logiciels
Un cadre formel pour la spécification multivue de systèmes avioniques
Propriétés dynamiques avec hypothèses d'équité en B événementiel
Génération de tests à partir de statecharts fondée sur le calcul de comportements
Un panorama du test à partir de modèles formels

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Jacques Julliand, Jeanine Souquières
Collection	RSTI - TSI
Parution	15/04/2006
Nb. de pages	140
Format	16 x 24
Couverture	Broché
Poids	235g
Intérieur	Noir et Blanc
EAN13	9782746214255
ISBN13	978-2-7462-1425-5