Les équations mathématiques constituent un formalisme essentiel pour la science. Le dimensionnement doit pouvoir s'appuyer sur ce formalisme, et disposer d'une méthode performante. En se fondant sur une analyse de la place du dimensionnement au sein des entreprises, des outils existants et des méthodes de développement logiciel, cette thèse présente une méthodologie et une technologie à base de composants d'aide au dimensionnement automatisé en ingénierie. Quelques cas industriels de dimensionnement de dispositifs électromécaniques servent à illustrer la méthode utilisée ainsi que le traitement de modèles à l'aide d'équations différentielles et implicites. Les expériences menées au cours de ce travail conduisent à estimer que le dimensionnement, dans les services de conception, peut se faire à partir de modèles mathématiquement formalisés en utilisant cette méthodologie. La technologie semble mûre pour fournir l'aide adéquate.