Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00816840
Contributor : Emmanuel Desmontils <>
Submitted on : Tuesday, April 23, 2013 - 9:31:27 AM
Last modification on : Thursday, April 5, 2018 - 10:36:49 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

128