.
Jean-François Monin - Introduction aux méthodes formelles. 2ème édition
Référence B-472-233
ISBN-10 2746201402
ISBN-13 9782746201408
Format Broché
Pages 351

Livre d'occasion

Introduction aux méthodes formelles. 2ème édition

de Jean-François Monin

Édition 2000
Chez Hermes Science Publications
B Bon
Ancien livre de bibliothèque. Edition 2000.

Même livre, autres offres

  • B Bon
    30,67 VOIR
  • Ancien livre de bibliothèque. Légères traces d’usure sur la couverture. Salissures sur la tranche. Tampon ou marque sur la face intérieure de la couverture. Edition 2000.
  • B Bon
    30,67 VOIR
  • Petite(s) trace(s) de pliure sur la couverture. Edition 2000.
  • B Bon
    30,67 VOIR
  • Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d’usure sur la couverture. Edition 2000.
  • B Bon
    30,67 VOIR
  • Salissures sur la tranche. Edition 2000.
  • B Bon
    30,67 VOIR
  • Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Edition 2000.
  • B Bon
    30,67 VOIR
  • Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Edition 2000.
  • B Bon
    30,67 VOIR
  • Edition 2000.
  • B Bon
    30,67 VOIR
  • Ancien livre de bibliothèque. Edition 2000.
  • B Bon
    30,67 VOIR
  • Légères traces d’usure sur la couverture. Edition 2000.
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.

30,67 dont 3,07 € reversés au partenaire donateur et 1,53 € reversés à nos partenaires caritatifs.