Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Jacqueline Collet-Narboni
Responsable administrative

courriel : jacqueline.collet-narboni@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Composants (4I506) »

Ressources annuelles

Responsable de l'UE : Peschanski, frederic


Site de l'UE

Description de l'UE :

La complexité croissante des systèmes informatiques et leur évolution de plus en plus rapide suscitent un intérêt accru pour le développement logiciel à base de composants réutilisables. Cet intérêt est principalement motivé par la réduction des coûts de développement et l'augmentation de la fiabilité du logiciel. Cet enseignement propose d'étudier les concepts sous-jacents de la conception basée sur les composants (component-based software engineering ou CBSE). On s'intéresse en particulier à la modélisation précise -semi-formelle- des services requis et fournis par les composants. Pour relier ces modèles au code d'implémentation, les principes de la conception par contrat sont étudiés et mis en oeuvre. La problématique de validation des implémentations vis-à-vis de leurs contrats est également abordée : validation informelle dans le cadre du test basé sur les modèles (model-based testing MBT) puis validation formelle en logique de Hoare. Finalement, nous abordons la problématique complexe de la modélisation et de la vérification des aspects concurrents dans les systèmes multi-threadés.