How to Participate

The Open-DO initiative is a collaborative effort and the key to its success will be a wide participation from a variety of communities including:
  • open-source and safety critical programmers,
  • tool providers,
  • avionics industry leaders,
  • academia, and
  • certification authorities, among others.

Join the discussion.

Bold = required field.

Join the Open-DO Discussion List





Agile Development
Agile Management
DO-178B / DO-178C Qualification/Certification
Formal Methods
Model-driven Development
Open Source Tools
Open Source Development
Other

Note: The Open-DO discussion list is open to everyone that wishes to participate in the initiative. The list is moderated and any inappropriate content will not be distributed. All information submitted in this form will only be used in the context of the Open-DO initiative and will not be passed on to 3rd parties.

  • Categories

  • Open-DO Projects

    Agile
    Couverture
    GeneAuto/Ada
    HiberSource
    Hi-Lite
    Project P
    The Qualifying Machine
    XReq
  • Want to get involved?

    The Open-DO Forge
  • Contact

    info @ open-do.org
  • Blogroll

    • carlodaffara.conecta.it
    • David A. Wheeler's Blog
    • David Crocker's Verification Blog
    • Emmanuel Chenu
    • Frama-C news and ideas
    • Herding Cats
    • Rustan Leino's Verification Corner
    • The Abnormal Distribution
  • Meta

    • Log in
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.