Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Introduction aux méthodes formelles
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Introduction aux méthodes formelles

Introduction aux méthodes formelles

Jean-Francois Monin, Jean-François Monin

349 pages, parution le 21/06/1970

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription