Approches formelles pour l'aide au développement de logiciels

numéro spécial de TSI, 2001 - Volume 20

Yves Ledru, Marie-Laure Potet

968 pages, parution le 23/01/2002

Ajouter à une liste

Indisponible

Résumé

Ce numéro thématique a été préparé suite à l'atelier AFADL'2000. Tout d'abord, AFADL est un lieu d'échanges sur le thème des méthodes formelles pour le développement des logiciels. L'atelier se veut un lieu ouvert à toutes les communautés : ainsi ont été présentés à Grenoble des articles consacrés à la méthode B, au Pi-calcul, aux spécifications algébriques. Cet atelier s'intéresse aussi à toutes les phases du développement de logiciel : de la préparation d'un cahier des charges, à la validation par le test, en passant par la spécification et la conception architecturale. Ensuite, AFADL est une manifestation francophone qui encourage la particiaption des jeunes chercheurs. Le temps consacré à chaque présentation permet aux orateurs de présenter le contexte et les bases de leur approche, avant d'aborder leur contribution originale. Enfin, AFADL se veut un lieu de dialogue, en particulier entre universitaires et industriels.

Sommaire

Spécification algébrique et prototypage du « contrôle d'accès » en LPG – Didier Bert
Cohérence de spécifications multi-vues – Michaël Périn
Formalisation de la méthode B en Coq et PVS – Jean-Paul Bodeveix, Mamoun Filali, César A. Muñoz
Vérification par model-checking modulaire des propriétés dynamiques introduites en B – Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Yves Ledru, Marie-Laure Potet
Parution	23/01/2002
Nb. de pages	968
Format	16 x 24
Couverture	Broché
Poids	300g
Intérieur	Noir et Blanc
EAN13	9782746203303
ISBN13	978-2-7462-0330-3