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.
Type de document :
Rapport
[Rapport de recherche] RR-1053, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075506
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:21:45
Dernière modification le : samedi 17 septembre 2016 - 01:06:50
Document(s) archivé(s) le : vendredi 13 mai 2011 - 12:25:51

Fichiers

Identifiants

  • HAL Id : inria-00075506, version 1

Collections

Citation

Jeanine Souquières. Quelques éléments d'un langage de construction de spécifications. [Rapport de recherche] RR-1053, INRIA. 1989. 〈inria-00075506〉

Partager

Métriques

Consultations de la notice

58

Téléchargements de fichiers

41