Système de validation intelligente de règles comptables avec l'aide de la programmation par contraites

  • Olivier Thirifay

Student thesis: Master typesMaster en sciences informatiques

Résumé

Ce travail abordera la possibilité de valider des données saisies par un utilisateur dans le domaine de la comptabilité d'une entreprise. Ces validations s'appliqueront Sur des règles exprimées par les comptables et permettant d'effectuer des regroupements d'informations. Elles permettront de détecter des erreurs aIS propagations dans le processus de création de documents comptables r difficiles à localiser. Le problème posé se prêtant bien à la mo;ique, nous aborderons la programmation logique et plus particulièrement la prorgique avec contraintes. Celle-ci étant encore IJ entreprise, l'occasion nous est donnée de montrer l'avantage que peut rEreprise d'utiliser ce style de programmation.
la date de réponse2002
langue originaleFrançais
SuperviseurVincent Englebert (Promoteur)

mots-clés

  • logic programming
  • modelization
  • constraints logic programming
  • data validation
  • accounting.

Contient cette citation

'