Quelques éléments d'un langage de construction de spécifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

Quelques éléments d'un langage de construction de spécifications

Jeanine Souquières

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1053.pdf (994.44 Ko) Télécharger le fichier

Dates and versions

inria-00075506 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075506 , version 1

Cite

Jeanine Souquières. Quelques éléments d'un langage de construction de spécifications. [Rapport de recherche] RR-1053, INRIA. 1989. ⟨inria-00075506⟩
26 View
17 Download

Share

Gmail Facebook X LinkedIn More