ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 9/1-2 - 2003  - pp.17-30  - doi:10.3166/objet.9.1-2.17-30
TITRE
Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori

RÉSUMÉ
Les bibliothèques écrites dans un langage ne supportant pas les contrats cachentelles des contrats sous-jacents ? Est-il possible d'ajouter ces « contrats » a posteriori ? Avec recherche de contrats implicites. Cet article reprend les résultats que nous avons obtenus, résultats que nous avions publiés dans un papier présenté au workshop de recherche « Microsoft Summer Research Workshop 2002 » (Arnout et al., 2002), analyse les avantages des composants « contractés » d'un point de vue utilisateur et présente nos travaux en matière d'extraction automatique de contrats.


ABSTRACT
Can libraries written in a language that does not support Design by ContractTM, benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of classes from the .NET Collections library to search for unexpressed contracts. This article repeats the results we published in a previous paper that we presented at Microsoft Summer Research Workshop 2002 (Arnout et al., 2002), analyzes the advantages for the users of having such contracted components, and envisions automating the extraction of closet contracts.


AUTEUR(S)
Karine ARNOUT, Bertrand MEYER

MOTS-CLÉS
Conception par contrats, .NET, Eiffel, Contrats implicites, Extraction automatique.

KEYWORDS
Design by Contract, .NET, Eiffel, Closet contracts, Automatic extraction.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (201 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier