open-DO
Toward a cooperative and open framework for the development of certifiable software
Skip to content
About Open-DO
Airborne Software Certification Explained
How to Participate
Projects
IP 217 – An information model for requirements and design
OpenDO Project – Rationale
IP217 Foundations and Principles
IP217 Definition of Requirement
IP217 Definition of Design
IP217 Definition of Verification
History of IP217
Key Definitions
IP217 Information Model
Solutions Provided by IP217
DO-178B/C Core Text Problems
Applying IP217
Agile
Couverture
GeneAuto/Ada
The Qualifying Machine
HiberSource
Project Hi-Lite
Hi-Lite Partners
Hi-Lite Resources
A Lighter Introduction to Hi-Lite
Hi-Lite Progress
XReq
Open-DO conference
Open-DO Conference Abstracts
Forge
Open DO slides
Open DO: A call for action.
By
Jamie Ayre
|
July 2, 2009
Open DO: A call for action.
Initial concepts and ideas behind the Open-DO initiative
This entry was posted in
Open-DO News
. Bookmark the
permalink
.
Post a comment
or leave a trackback:
Trackback URL
.
Post a Comment
Click here to cancel reply.
Your email is
never
published nor shared. Required fields are marked
*
Name
*
Email
*
Website
Comment
Search
Categories
Select Category
Agile/Lean Programming
Certification
Events
In the Press
Open Source
Open-DO News
Papers and Slides
Related Initiatives
Videos
Open-DO Projects
Agile
Couverture
GeneAuto/Ada
HiberSource
Hi-Lite
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
Herding Cats
Rustan Leino's Verification Corner
The Abnormal Distribution
RSS Feeds
All posts
All comments
Meta
Log in