À propos du CRIM

Modelisation, test et validation des applications basees sur le Web

Les applications d’affaires (business applications) sont constamment mises à jour pour répondre aux nouveaux besoins des entreprises et de leurs clients. Les phases du développement logiciel les plus affectées sont le test et la validation dans le cadre de grandes applications métiers. Le CRIM a développé une expertise afin d’améliorer les processus de test en prenant en compte les changements continuels des applications testées. À titre d’exemple, un framework automatisé pour l’adaptation des tests dédiés aux applications d’affaires basées sur le Web a été développé dans lequel des techniques basées sur les modèles assistent l’utilisateur dans la détection des changements et l’adaptation des tests.

Équipes

Réalisations

Publications

É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

    +