Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075506
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:21:45 PM
Last modification on : Thursday, February 11, 2021 - 2:48:31 PM
Long-term archiving on: : Friday, May 13, 2011 - 12:25:51 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

72

Files downloads

65