À propos du CRIM

Génération automatisée de code pour système distribué

L’équipe construit une expertise complémentaire dans le développement de générateurs de code à partir de langages spécifiques à un domaine (domain-specific language ou DSL), du développement de compilateurs et explore actuellement le domaine de la génération interactive de code et la finalisation de spécifications partielles par inférence. Une plateforme de génération de code à partir d’un DSL compact de haut niveau a été développée.

É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

    +