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

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.