Jean-François Monin Introduction Aux Méthodes Formelles - 2ème Édition

Description

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.

Source : fiche du marchand Fnac.