Advanced Software Modeling and Development

The Advanced Software Modeling and Development team of CRIM specializes in the development of methods and prototype tools to help system and distributed software designers improve the quality and security of their products while decreasing development time.

Our expertise

We possess a world-class expertise in model engineering. Properly designed models allow for representing the operation of information systems, to predict their behavior, to analyze their deficiencies and automate certain development- and test-related tasks.

See all expertise

Profile of an expert

Alexandre Petrenko
Alexandre Petrenko
Lead Researcher

Recent news

  • Valorisation de la recherche québécoise
    16/09/2020

    Le CRIM salue l’importance que le Ministre Pierre Fitzgibbon accorde à la valorisation de la recherche québécoise et l’ampleur des ressources qu’il y consacrera.

    +

Upcoming event

  • Santé et sécurité du travail 2020 - Événement les Affaires
    23 September 2020 8:30
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 10e édition de la conférence Santé et sécurité du travail organisée par les Événement Les Affaires. Présentation en ligne.
    +

Recent Publications

  • An end-to-end approach for the verification problem: learning the right distance

    +
  • The Indigenous Languages Technology Project at NRC Canada: an empowerment-oriented approach to developing language software

    +