Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00467549 , version 1 (26-03-2010)

Identifiants

  • HAL Id : hal-00467549 , version 1

Citer

Henri Habrias, Pascal André. Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification. 22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403. ⟨hal-00467549⟩
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More