Tag Archives: Certification

Use of formal methods in critical systems conference

By Jamie Ayre | October 16, 2012

This conference will take place in Toulouse on November the 12th. It is in French as is the announcement providing more details below:

Les animateurs du DAS Systèmes Embarqués, avec le soutien du thème IFSE du RTRA AE/SE, ont le plaisir de vous annoncer la programmation d’un cycle de conférences techniques sur les méthodes formelles de [...]

Posted in Certification, Events | Also tagged , | Leave a comment

Agile Tour 2009

By Florian Villoing | October 27, 2009

Last week I attented the Grenoble (October 20, 2009) and Valence (October 22, 2009) conferences as part of the Agile Tour 2009 series. These events were a big success and attracted more than 450 attendees! I would like to thank one more time the CARA who did a very good job at organizing these.

The presentations [...]

Posted in Agile/Lean Programming, Certification, Events, Open-DO News, Papers and Slides | Also tagged , , , , , , , , , , | Leave a comment

  • Categories

  • Open-DO Projects

    Agile
    Couverture
    GeneAuto/Ada
    HiberSource
    Hi-Lite
    Project P
    The Qualifying Machine
    Sparkel
    XReq

  • Contact

    info @ open-do.org