Les modeleurs déclaratifs

Résumé : Les modeleurs déclaratifs doivent permettre de décrire on ensemble d'objets appartenant à un univers, description prenant la forme d'un ensemble de propriétés et de contraintes. Les objets solution sont alors engendrés automatiquement, et des outils de prise de connaissance autorisent le concepteur à comprendre leur structure. Cet article regroupe différents résultats concernant les trois grandes phases de la modélisation déclarative : la description (en particulier à l'aide de vocabulaires adaptés aux applications), la génération (tant exhaustive en vue de l'exploration des univers de formes que partielle, en procédant par échantillonnage) et la prise de connaissance.
Type de document :
Article dans une revue
Revue Internationale de CFAO et d'informatique graphique, Hermès, 1995, 10 (6), pp.559-585
Liste complète des métadonnées

https://hal.inria.fr/hal-00816840
Contributeur : Emmanuel Desmontils <>
Soumis le : mardi 23 avril 2013 - 09:31:27
Dernière modification le : jeudi 5 avril 2018 - 10:36:49

Identifiants

  • HAL Id : hal-00816840, version 1

Collections

Citation

Michel Lucas, Emmanuel Desmontils. Les modeleurs déclaratifs. Revue Internationale de CFAO et d'informatique graphique, Hermès, 1995, 10 (6), pp.559-585. 〈hal-00816840〉

Partager

Métriques

Consultations de la notice

84