Contribution à l'acquisition de spécifications formelles pour un problème d'investissement

  • Arnaud Martens

Student thesis: Master typesMaster en sciences informatiques

Résumé

Ce mémoire a pour but d'illustrer l'étape d'ingénierie des besoins dans le cycle de développement d'un outil informatique support à un problème d'investissement. Ce document se concentre sur la phase d'élicitation des besoins et de la modélisation. La phase d'élicitation a été effectuée au travers de l'étude de différentes interfaces permettant de mieux comprendre la nature des interactions prenant place entre l'investisseur et son logiciel. La modélisation proprement dite est exprimée dans un langage formel de spécification appelé GLIDER. La structuration de cette spécification est faite selon le paradigme orienté objet.
la date de réponse1992
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurÉric Dubois (Promoteur)

Contient cette citation

'