La perception du dopage : une approche pragmatique
نویسندگان
چکیده
منابع مشابه
Composants objets fiables : une approche pragmatique
Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-or...
متن کاملUne approche formelle de la reconfiguration dynamique
RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...
متن کاملUne approche générique de la réécriture
In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...
متن کاملModèle d'aide à la décision pour la prévention parasismique urbaine. Une approche multi-agent de la vulnérabilité du bâti
This paper offers a decision-making tool for politics in charge of the prevention of the seismic risk of a city. The multi-agents methodology is applied to an urban area as a spatial environment. The focus is on the question of the public buildings, their maintenance and the investments which allow reducing their vulnerability. The public buildings are viewed as agents whose attributes are the ...
متن کاملUne Approche d'Analyse du Code de la Cospécificaion et la Description des Composants Architecturaux pour la Conception des Systèmes Mixtes
Résumé-Nous présentons dans ce travail une approche automatique de haut niveau pour l’analyse de code de la cospécification java, et pour la description des composants qui composent l’architecture cible sur laquelle l’application s’exécute dessus. Dans ce contexte, nous avons développé deux outils pour extraire toutes les informations pertinentes concernant les entités matérielles et logicielle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychotropes
سال: 2002
ISSN: 1245-2092,1782-1487
DOI: 10.3917/psyt.083.0089