Thèmes de recherche
31000 visiteurs
2 visiteurs en ligne
Génie Logiciel
Evaluation des logiciels, tests, gestion de configuration, la gestion du changement, la version et la gestion des événements, le génie logiciel pour les systèmes embarqués, évaluation de la qualité du logiciel, la modélisation des processus logiciels et de mesure, les normes d'essai de logiciels, des modèles de conception …
Mots-Clés
Ingénierie du Logiciel des systèmes et des données – Ingénierie dirigée par les modèles (IDM, MDA) -Métamodélisation - Transformation des modèles – Langages de transformation de modèles (ATL, ATOM3, Kermeta, AGG, TGG…) - Langages de modélisation (UML …) – Vérification et Validation – Model Checking – Méthodes formelles de GL – Amélioration et formalisation de processus de développement – Test de logiciels - DSL(Langages orientés domaines et intégration de données) – Standards de l’OMG (MDA, UML2.0, XML, XMI, QVT, MOF, EMF, Eclipse …) – Construction de logiciels : analyse conception et test – Systèmes distribués – Systèmes embarqués …