À 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

  • HASE 2019
    3/01/19 2019h00
    Hangzhou, China
    Le CRIM présentera deux articles à la 19e édition du IEEE International Symposium on High Assurance Systems Engineering, qui se déroulera du 3 au 5 janvier 2019 à Hangzhou, Chine
    +
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…
  • #startech_capsules | Entrevue @technopolys_qc avec @casaconnected, qui s'est donné la mission de révolutionner la f… https://t.co/QsF70CDKIg

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +