Le développement d'une spécification est décrit par une suite d'étapes de développement, une étape se définissant par application d'un operateur sur un état de développement et fournissant un nouvel état de développement. Au cours d'une étape, des décisions sont prises pour résoudre un objectif, ces décisions portant a la fois sur le produit à concevoir (programme ou spécification) et sur la suite des taches à résoudre pour atteindre cet objectif. La définition d'un développement repose sur les concepts essentiels de produit, de plan de travail et d'operateurs de développement: - le produit: le travail du spécifieur est vu comme une suite d'étapes conduisant d'un cahier des charges initial à une première spécification formelle, complète et non ambigüe décrivant les fonctionnalités, le comportement du système visé et les contraintes portant sur son systeme. Un état de produit peut contenir différentes versions d'une ou plusieurs de ses composantes; - le plan de travail désigne un ensemble organisé de taches déjà réalisées ou à réaliser, une tache consistant en un objectif à atteindre; - un operateur de développement désigne un moyen pour atteindre un objectif en faisant évoluer le plan de travail et le produit associé. Le cadre de développement proposé est paramétré par le langage de spécification et permet de traiter la gestion de versions et la réutilisation