Jean‑François Monin – Introduction aux méthodes formelles – 2e édition

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 p