Quelques éléments d'un langage de construction de spécifications
Résumé
Le souhait d'obtenir des logiciels fiables, évolutifs et de moins en moins constraints par le contexte d'implantation a conduit à faire jouer un rôle de premier plan à la spécification. Celle-ci doit posséder de bonnes propriétés par exemple de modularité, correction et réutilisabilité. De telles propriétés peuvent être garanties par l'utilisation de mécanismes de construction bien connus tels l'enrichissement, l'instanciation ou des mécanismes moins classiques basés sur la réutilisation. Nous présentons, à partir d'un exemple, les mécanismes d'agrégation et de propagation permettant de réutiliser une spécification.