Discipline du processus d'ingénierie logicielle dont le but est de définir ce que doit
faire le système. Les activités les plus significatives consistent à développer des artefacts de vision, de modèle de cas
d'utilisation et de spécification supplémentaire.