La biologie de synthèse est un domaine émergent en quête d’outils afin de formaliser et d’automatiser la caractérisation et la conception de systèmes biologiques. Dans ce cadre, nous proposons un langage de spécification comportementale des systèmes biologiques, ainsi que la conception d’un compilateur traduisant cette spécification en un assemblage de composants biologiques. La première partie sera dédiée à un langage de description comportementale nommé Gubs (Genetic Unified Behaviour Specification) pour la spécification de composants biologiques en les décrivant comme des systèmes ouverts dynamiques et discrets. Gubs est un langage déclaratif dont la syntaxe se fonde sur une description des comportements par un ensemble de relations causales. Contrairement à un système fermé, un programme est toujours une description partielle du comportement du système. La sémantique a été conçue afin de prendre en compte la présence d’actions non spécifiées qui pourraient potentiellement altérer le comportement des composants programmés en l’exprimant sous forme d’une formule de logique hybride. En seconde partie, nous introduisons un système formel décrivant les principes de compilation d’une spécification en Gubs en un ensemble de composants biologiques synthétisables. Ce système est implémenté par Ggc, un compilateur permettant de sélectionner automatiquement les composants possédant les propriétés adéquates pour qu’une fois assemblés ils simulent le comportement décrit. La compilation d’une spécification Gubs s’appuie sur le principe d’ACI-Unification en utilisant un schéma similaire au système de preuve automatique afin de sélectionner les composants dont l’assemblage est correct par rapport à la spécification. Dans le cadre d’une unification avec une base de données de grande taille, l’algorithme d’ACI-Unification bascule sur un algorithme évolutionnaire d’optimisation permettant la recherche des composants en adéquation avec le programme afin d’obtenir une solution. Finalement, cette thèse se conclut sur un ensemble d’optimisations permettant de sélectionner des composants selon des propriétés biologiques afin d’obtenir une sélection plus fine dans le but d’assurer une synthèse des éléments in-silico en systèmes biologiques viables in-vivo. Nous concluons aussi sur un traitement automatique des bases de données à disposition des chercheurs afin de les traduire en un ensemble de composants Gubs.