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éponse | 2002 |
---|
langue originale | Français |
---|
Superviseur | Vincent Englebert (Promoteur) |
---|
- logic programming
- modelization
- constraints logic programming
- data validation
- accounting.
Système de validation intelligente de règles comptables avec l'aide de la programmation par contraites
Thirifay, O. (Auteur). 2002
Student thesis: Master types › Master en sciences informatiques