L'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale.