Méthodes formelles pour les objets (L'objet - logiciel, bases de données, réseaux. Volume 6 n°1)

Auteur :

Langue : Français
Couverture de l'ouvrage Méthodes formelles pour les objets (L'objet - logiciel, bases de données, réseaux. Volume 6 n°1)

Thème de Méthodes formelles pour les objets ...

33,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Support : Numéro de revue
ISBN : 9782746201262 EAN : 9782746201262
Éditions Lavoisier
De nombreux modèles formels à objets ont été proposés au cours de la période écoulée. Les concepteurs d'outils de développement disposent maintenant d'un ensemble fourni de théories pour formaliser les systèmes à objets, mais ces théories sont souvent disparates. Leur usage est encore restreint, car leur mise en oeuvre est lourde et coûteuse, ou les modèles sont trop spécifiques, ou ils ne correspondent pas à la pratique des développeurs. Une tendance actuelle est l'application pratique, même partielle de cette recherche fondamentale.