Ce travail de thèse propose une méthodologie et un environnement d'aide à la conception. L'objectif est le support du concepteur durant le processus de dimensionnement, en intégrant la complexité croissante des modèles utilisés. Nous nous appuyons pour cela sur le dimensionnement par une optimisation basée sur les composants logiciels. Nous proposons une nouvelle norme de composants permettant non seulement l'optimisation, mais intégrant aussi l'ensemble des services utiles au concepteur lors du dimensionnement, comme par exemple des services de gestion des algorithmes ou de post-processing. Concernant la résolution des modèles, nous étudions la résolution des systèmes différentiels linéaires de manière symbolique. Nous utilisons également la différentiation de code pour le calcul des dérivées des modèles de dimensionnement. Nous détaillons finalement différentes applications montrant les différentes possiblités de la méthodologie proposée.