Notice
Méthodes formelles pour les objets (L'objet - logiciel, bases de données, réseaux. Volume 6 n°1)
Auteur : ANDRE Pascal
Langue : FrançaisThème de Méthodes formelles pour les objets ... :
33,00 €
Sous réserve de disponibilité chez l'éditeur.
Ajouter au panier le numéro de revue de ANDRE Pascal
Date de parution : 05-2000
Support : Numéro de revue
ISBN : 9782746201262
Support : Numéro de revue
ISBN : 9782746201262
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.
© 2024 LAVOISIER S.A.S.