Langages et modèles à objets: lmo'05

Wishes for object-oriented languages. SLA-based routing for EAI middleware. Raffinement de classes dans les langages à objets statiquement typés. Mise en symbiose des traits et des classboxes. Application à l'expression des collaborations. Peut-on réaliser des composants avec un langage à objets ? L'impact de l'héritage et de la surcharge sur les boîtes noires. Figures de transformation pour des architectures logicielles. Une démarche dirigée par les modèles pour construire les machines de déploiement des intergiciels à composants. Des signatures numériques pour améliorer la recherche structurelle de patrons. Mise en oeuvre des patrons de conception par représentation explicite du problème. Modélisation par aspects et transformation vers AspectJ et Hyper/J. Une méthode de formalisation progressive des exigences basée sur un modèle simulable. Visualisation et analyse de logiciels de grande taille. Relations, structures et objets : quelques variations. Représentation graphique des objets et sous-typage. Le contrat d'évolution d'architectures. Un outil pour le maintien de propriétés non fonctionnelles. ConFract, un système pour contractualiser des composants logiciels hiérarchiques. Vers la négociation de contrats dans les composants logiciels hiérarchiques