Introduction aux méthodes formelles

Jean-Francois Monin, Jean-François Monin

349 pages, parution le 21/06/1970

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

Combien coûtent les ambiguïtés, les imprécisions et les incohérences qui se cachent dans les spécifications des grands logiciels, obligeant concepteurs, programmeurs et valideurs à multiplier les tâtonnements et les allers-retours, et interdisant toute maîtrise réelle des coûts et des délais de développement ? Seul un effort de formalisation peut accroître la précision et la rigueur des spécifications. Les méthodes et outils correspondants devront naturellement s'appuyer sur des bases théoriques solides et éprouvées : l'informatique aussi doit avoir ses « outils mathématiques pour l'ingénieur »

Ce sont ces bases théoriques, ces fondements mathématiques de la spécification formelle, que l'auteur présente ici dans un panorama synthétique qui relie, sous le fil conducteur de la logique, l'étonnante diversité des modèles proposés à ce jour. Le lecteur ne trouvera pas dans ce livre des recettes pour bien utiliser telle ou telle méthode formelle, mais plutôt l'outillage conceptuel qui lui permettra d'aborder et de maîtriser n'importe quelle méthode particulière.

Introduction aux méthodes formelles est la deuxième édition de l'ouvrage publié en 1996 sous le titre Comprendre les méthodes formelles. Son organisation a été complètement remaniée, avec un nouveau chapitre consacré aux systèmes, de transitions et à la logique temporelle.

Ce livre appartient à la Collection Technique et Scientifique des Télécommunications (CTST) publié sous l'égide de France Télécom R&D, centre de recherche et développement de France Télécom.

La CTST réunit des ouvrages en langue française pour tous ceux qui s'intéressent aux aspects scientifiques, techniques ou socio-économiques des télécommunications.

L'auteur - Jean-Francois Monin

Jean-Francois Monin, docteur en informatique, est expert senior a la Direction des techniques logicielles de France Telecom R&D.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Jean-Francois Monin, Jean-François Monin
Parution	21/06/1970
Nb. de pages	349
Format	16 x 24
Couverture	Broché
Poids	543g
Intérieur	Noir et Blanc
EAN13	9782746201408
ISBN13	978-2-7462-0140-8