Home > Research teams > Advanced Software Modeling and Development

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.

Model inference
Automated generation of distributed system code
Tests of parallel and distributed systems
Modeling, testing and validation of web-based applications

See all expertise

MAJOR ACHIEVEMENTS

NECSIS
NECSIS
Tools for the analysis of logs in distributed systems
Tools for the analysis of logs in distributed systems
See all releases

Profile of an expert

Alexandre Petrenko
Alexandre Petrenko
Lead Researcher
Meet our experts

Follow Us

Chat with us

LinkedIn Follow CRIM

Follow our tweets

Flickr See our Flickr albums

YouTube See our videos

Medium Read our Medium articles

Recent news

  • UEAT and CRIM: A Win-Win Collaboration
    23/11/2020

    CRIM helps UEAT develop an online food delivery suggestion engine based on consumer preferences.

    +
See all news

Upcoming event

  • DevOps - Événement Les Affaires
    9 December 2020 9:00
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 3e édition de la conférence DevOps - Passez de la théorie à la pratique pour une implantation réussie organisée par les Événement Les Affaires. Présentation en ligne.
    +
See all events

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

    +
See all Publications