Définition d'un langage formel de requêtes basé sur un modèle entité-association
Dans le cadre du développement des systèmes d'information, les méthodes formelles de spécification permettent d'éliminer ou de réduire le besoin des phases de conception et d'implémentation, l'importance étant mise sur les phases de spécification des besoins et d'analyse. La...
Main Author: | |
---|---|
Other Authors: | |
Language: | French |
Published: |
Université de Sherbrooke
2009
|
Online Access: | http://savoirs.usherbrooke.ca/handle/11143/4828 |