Genspec est un outil développé par Hydro-Québec en 2001 pour l'ingénierie des exigences, permettant la saisie, la vérification automatique et la documentation des exigences de systèmes. Il existe plusieurs fonctionnalités principales et secondaires, telles que la définition, la caractérisation et l'évaluation des exigences, ainsi que la gestion de l'historique et des attributions. Des améliorations récentes ont été apportées par des universités pour faciliter son utilisation et garantir la normalisation des exigences.