Contribution à l'étude de modèles de cycle de vie en programmation impérative et logique

  • Philippe De Raedemacker

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Nous décrivons, dans une première partie de ce travail, les différentes étapes qui ont conduit à la construction d'un outil d'aide à la programmation impérative. Nous présentons essentiellement l'identification des objets logiciels et la construction d'un schéma Entité/Relation mettant en évidence les caractéristiques de ces objets ainsi que leurs relations. Enfin, nous précisons les fonctionnalités principales de notre outil. Dans une seconde partie, nous appliquons ce même cadre de travail à la programmation logique. Nous pouvons ainsi décrire, par un modèle Entité/Relation, la méthodologie de développement de programme PROLOG. Nous spécifions alors un système de contrôle des objets évoluant en versions multiples.
la date de réponse1989
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

Contribution à l'étude de modèles de cycle de vie en programmation impérative et logique
De Raedemacker, P. (Auteur). 1989

Thèse de l'étudiant: Master typesMaster en sciences informatiques