Modélisation et développement logiciel avancé

L’équipe Modélisation et développement logiciel avancé du CRIM se spécialise en développement de méthodes et d’outils prototypes pour aider les concepteurs de systèmes et d’applications distribuées à améliorer la qualité et la sécurité de leurs produits tout en diminuant le temps de développement.

Nos expertises

Nous possédons une expertise de classe mondiale en « ingénierie des modèles ». Ces derniers permettent de représenter le fonctionnement des systèmes informatiques, d’en prédire le comportement, d’en analyser les failles et d’automatiser certaines tâches de développement et de test.

Toutes nos expertises

Profil d'un expert

Alexandre Petrenko
Alexandre Petrenko
Chercheur principal, Équipe Modélisation et développement logiciel avancé

Alexandre Petrenko œuvre au CRIM depuis 1996 au sein de l’équipe Modélisation et développement logiciel avancé. 

Contactez l'équipe Modélisation et développement logiciel avancé

Pour toute demande d’information, veuillez contacter Françoys Labonté, Directeur général.

514 840-1234

Nouvelles récentes

  • Le CRIM dévoile son rapport d'activités 2016-2017
    28/06/2017

    Le Centre de recherche informatique de Montréal dévoile son rapport d'activités. Bilan des réalisations et des résultats de l’année.

    +

Événement à venir

  • Prix Innovation 2017 de l'ADRIQ - Période de mise en candidature
    8/09/17 0h00
    Le CRIM est heureux d'être partenaire des Prix Innovation 2017 de l'ADRIQ et de contribuer ainsi au rayonnement et à la reconnaissance des innovations technologiques. Période de mise en candidature prolongée jusqu'au 8 septembre 2017.
    +

Publications récentes

  • PeopleBot

    +
  • Toward testing from finite state machines with symbolic inputs and outputs

    +