À propos du CRIM

NECSIS


Résumé : Le projet NECSIS (Network on Engineering Complex Software Intensive Systems for Automotive Systems) se penche sur l’avancement d’une méthodologie de l’ingénierie dirigée par les modèles qui peut offrir une amélioration conséquente de la productivité des développeurs de logiciels, ainsi qu’une amélioration de la qualité des produits. Au sein de ce projet, la contribution du CRIM concerne la génération de tests d’après les modèles, la vérification de la cohérence des tests et l’optimisation des suites de tests.

Équipes

Événement à venir

  • Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving
    24/10/19 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence de Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel, CRIM.
    +
  • ???? Le CRIM est en mode recrutement #talents 2 nouveaux profils de stagiaires recherchés : - Science des données - Sy… https://t.co/JxKxg7ZwKw
  • ???? Séminaire R-D : Détection des défauts dans les FSM temporisés par résolution de contraintes SAT (présentation en… https://t.co/VIDB9R4u4u

Publications récentes

  • Forage de données géospatiales, quelques applications

    +
  • Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI

    +