HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:21:45 PM
Last modification on : Friday, February 4, 2022 - 3:16:47 AM
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

25

Files downloads

15