ICOSI
- º Identification
Objectifs
- º Membres
- º Publications récentes
-
Thèmes de recherche
Equipes de Recherche
Production
- º 2014-2016
- º Avant 2013
Réseaux sociaux
Préférences
]
31792 visiteurs
2 visiteurs en ligne
2 visiteurs en ligne
Visites
31792 visiteurs
2 visiteurs en ligne
- Développer des méthodologies, des modèles et des outils logiciels pour la création, la conservation et le transfert de connaissances pour aider les organisations à maintenir leurs connaissances de base fondées sur les compétences et la compétitivité.
- Développer des méthodes, des modèles et des outils logiciels pour sécuriser principalement : Les données (y compris les bases de données), Les plateformes d’apprentissage humain, Les réseaux (y compris les réseaux mobiles).
- Mener des projets d’application et d’amélioration des techniques de génie logiciel afin de construire des softwares modulaires et extensibles pour des domaines de défi comme la gestion des connaissances et la sécurité informatique, en développant des frameworks pour intégrer des composants softwares hétérogènes dans des systèmes distribués complexes.
- Développer des modèles pour la spécification des systèmes complexes en général, dynamiques et temps réel en particulier. Validation et positionnement des modèles définis par rapport aux modèles déjà existants, ensuite les modèles sémantiques sont utilisés pour développer des algorithmes de modèles checking. Dans un deuxième volet l’équipe travaille sur la correction, la terminaison et la complexité des algorithmes.
Catégorie : ICOSI -
Page lue 4085 fois
Page lue 4085 fois
Prévisualiser...
Imprimer...
