• Aucun résultat trouvé

Article pp.7-8 du Vol.12 n°HS (2006)

N/A
N/A
Protected

Academic year: 2022

Partager "Article pp.7-8 du Vol.12 n°HS (2006)"

Copied!
2
0
0

Texte intégral

(1)

Table des matières

R.ROUSSEAU,C.URTADO,S.VAUTTIER

Avant-propos . . . 9

CONFÉRENCES INVITÉES

I.CRNKOVIC

Component-Based Software Engineering for Embedded Systems . . . 13 R.DIENG

Gestion des Connaissances, Web sémantique et Graphes conceptuels . . . 15 Y.LE TRAON

Test et diagnostic. Des objets aux modèles . . . 17

SESSION 1.COMPOSANTS

M.LÉGER,T.COUPAYE,T.LEDOUX

Contrôle dynamique de l’intégrité des communications dans les architectures à composants. Application à la plateforme Fractal/Julia . . . 21 N.DESNOS,C.URTADO,S.VAUTTIER,M.HUCHARD

Assistance à l’architecte pour la construction d’architectures

à base de composants . . . 37 J.GENSEL,C.CAPPONI,P.GENOUD,D.ZIÉBELIN

Vers une intégration des relations Partie-Tout en AROM . . . 53

SESSION 2.LANGAGES ET BIBLIOTHÈQUES DE PROGRAMMES

R.DUCOURNAU

Le hachage parfait fait-il un parfait test de sous-typage ? . . . 71 F.MERIZEN,D.COLNET,P.RIBET,C.ADRIAN

Héritage non conforme en Eiffel. Implantation sur le compilateur

SmartEiffel et retour d’expérience . . . 87

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur objet.revuesonline.com

(2)

8 LMO 2006

J.KLEIN,F.FLEUREY

Tissage d’aspects comportementaux . . . 101 J.-G.DUMAS,D.DUVAL

Vers une modélisation diagrammatique

de la bibliothèque C++ d’algèbre linéaire LINBOX . . . 117

SESSION 3.INGÉNIÉRIE DES MODÈLES

B.COMBEMALE,X.CRÉGUT,A.CAPLAIN,B.COULETTE

Modélisation rigoureuse en SPEM de procédé de développement . . . 135 P.CRESCENZO,P.LAHIRE,E.TUNDREA

SmartModels : la généricité paramétrée au service des modèles métiers . . 151 T.MENS,G.KNIESEL,O.RUNGE

Transformation dependency analysis.

A comparison of two approaches . . . 167

SESSION 4.TEST ET QUALITÉ DU LOGICIEL

E.H.ALIKACEM,H.SAHRAOUI

Détection d’anomalies utilisant un langage de description

de règle de qualité . . . 185 N.MOHA,D.-L.HUYNH,Y.-G.GUÉHÉNEUC

Une taxonomie et un métamodèle pour la détection

des défauts de conception . . . 201 Y.LE TRAON,B.BAUDRY

Test d’intégration d’un système à objets.

Planification de l’ordre d’intégration . . . 217

Index des auteurs . . . 231

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur objet.revuesonline.com

Références

Documents relatifs

Limitations in the definition of component interface descriptions and the need for convenient ways to correct mismatch between them have led to the definition of a new

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com.. Cet article des Editions Lavoisier est disponible en acces libre et gratuit