Comments for open-DO http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Tue, 02 Mar 2010 09:27:59 +0100 hourly 1 Comment on The Qualifying Machine by Embarquez Agile workshop http://www.open-do.org/projects/qualifying-machine/comment-page-1/#comment-10813 Embarquez Agile workshop Tue, 02 Mar 2010 09:27:59 +0000 http://www.open-do.org/?page_id=864#comment-10813 [...] Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts « FM+AM’2010 [...] [...] Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts « FM+AM’2010 [...]

]]> Comment on Albatross or the meeting of Open Source and Air Traffic Management by ביטול פוליסת ביטוח רכב - האם הודעה בדואר רשום מספיקה? http://www.open-do.org/2009/06/02/albatross-or-the-meeting-of-open-source-and-air-traffic-management/comment-page-1/#comment-10775 ביטול פוליסת ביטוח רכב - האם הודעה בדואר רשום מספיקה? Sat, 27 Feb 2010 03:10:18 +0000 http://www.open-do.org/?p=455#comment-10775 <strong>ביטול פוליסת ביטוח רכב - האם הודעה בדואר רשום מספיקה?...</strong> ... ביטול פוליסת ביטוח רכב - האם הודעה בדואר רשום מספיקה? נכתב על ידי חיים קליר חוזי ביטוח נבדלים מחוזים בענפי מסחר אחרים בתכונות רבות. אחת מהן היא ההפרדה המוחלטת, שע... - Albatross or the meeting of Open Source and Air Traffic Management ...... ביטול פוליסת ביטוח רכב – האם הודעה בדואר רשום מספיקה?…

… ביטול פוליסת ביטוח רכב – האם הודעה בדואר רשום מספיקה? נכתב על ידי חיים קליר חוזי ביטוח נבדלים מחוזים בענפי מסחר אחרים בתכונות רבות. אחת מהן היא ההפרדה המוחלטת, שע… – Albatross or the meeting of Open Source and Air Traffic Management ……

]]> Comment on Couverture by DO-178: Couverture and the “Source Code VS Object Code Coverage” debate http://www.open-do.org/projects/couverture/comment-page-1/#comment-10745 DO-178: Couverture and the “Source Code VS Object Code Coverage” debate Wed, 24 Feb 2010 09:43:58 +0000 http://www.open-do.org/?page_id=732#comment-10745 [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts [...] [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts [...]

]]> Comment on Open-DO conference by AdaCore - The GNAT Pro Company http://www.open-do.org/conference-2010/comment-page-1/#comment-10675 AdaCore - The GNAT Pro Company Thu, 18 Feb 2010 10:03:06 +0000 http://www.open-do.org/?page_id=923#comment-10675 [...] AdaCore is the organizer of the Open-DO conference “Combining Formality with Agility for Critical Software Development”. This event brings together experts from the two fields and asks the question “Can Formality and Agility be combined?” to develop software that has to reach the highest levels of safety and security. Talks will examine the theoretical consolidation between these software development principles and industrial case studies will show how they are used in practice. For more information and to sign-up (free of charge) for the event, please visit: www.open-do.org. [...] [...] AdaCore is the organizer of the Open-DO conference “Combining Formality with Agility for Critical Software Development”. This event brings together experts from the two fields and asks the question “Can Formality and Agility be combined?” to develop software that has to reach the highest levels of safety and security. Talks will examine the theoretical consolidation between these software development principles and industrial case studies will show how they are used in practice. For more information and to sign-up (free of charge) for the event, please visit: http://www.open-do.org. [...]

]]> Comment on Open-DO presentation at OpenCert conference by software for scheduling http://www.open-do.org/2009/02/20/open-do-presentation-at-opencert-conference/comment-page-1/#comment-10405 software for scheduling Mon, 08 Feb 2010 04:03:50 +0000 http://www.open-do.org/?p=143#comment-10405 <strong>software for scheduling...</strong> NFS\'s next-generation club system fully integrates every aspect of a club, from member accounts to meeting room scheduling to food & beverage management.... software for scheduling…

NFS\’s next-generation club system fully integrates every aspect of a club, from member accounts to meeting room scheduling to food & beverage management….

]]> Comment on Airborne Software Certification Explained by certification authority - StartTags.com http://www.open-do.org/about/software-certification-101/comment-page-1/#comment-10257 certification authority - StartTags.com Sat, 06 Feb 2010 06:33:09 +0000 https://www.open-do.org/?page_id=23#comment-10257 [...] ... A certificate authority whose root is not in this keychain cannot be validated by Mac OS X. ...Airborne Software Certification ExplainedCAST papers: Several Position Papers from the Certification Authorities Software Team can be found [...] [...] … A certificate authority whose root is not in this keychain cannot be validated by Mac OS X. …Airborne Software Certification ExplainedCAST papers: Several Position Papers from the Certification Authorities Software Team can be found [...]

]]> Comment on Lean Event Videos – Open-DO (Cyrille Comar) by cyrille - StartTags.com http://www.open-do.org/2009/04/16/lean-event-videos-open-do-cyrille-comar/comment-page-1/#comment-10243 cyrille - StartTags.com Sat, 06 Feb 2010 04:14:19 +0000 http://www.open-do.org/?p=234#comment-10243 [...] [...] [...] [...]

]]> Comment on Projects by safety projects - StartTags.com http://www.open-do.org/projects/comment-page-1/#comment-9479 safety projects - StartTags.com Fri, 29 Jan 2010 07:57:31 +0000 http://www.open-do.org/?page_id=541#comment-9479 [...] for funding through the so-called. stimulus package include $750,000 for the installation ...ProjectsAgile - An agile approach to safety critical software development. Couverture - A coverage analysis [...] [...] for funding through the so-called. stimulus package include $750,000 for the installation …ProjectsAgile – An agile approach to safety critical software development. Couverture – A coverage analysis [...]

]]> Comment on About Open-DO by open source tool - StartTags.com http://www.open-do.org/about/comment-page-1/#comment-9394 open source tool - StartTags.com Thu, 28 Jan 2010 04:10:11 +0000 https://www.open-do.org/?page_id=2#comment-9394 [...] using open source tools that will work within the context of an agile process on Linux, or Windows.About Open-DOThe Open-DO Initiative: An Invitation to Join Open-DO (as in Open and DO-178C the forthcoming [...] [...] using open source tools that will work within the context of an agile process on Linux, or Windows.About Open-DOThe Open-DO Initiative: An Invitation to Join Open-DO (as in Open and DO-178C the forthcoming [...]

]]> Comment on Lean Thinking Inside and Outside a Software Engineering Company by lean thinking - StartTags.com http://www.open-do.org/2009/05/15/lean-thinking-inside-and-outside-a-software-engineering-company/comment-page-1/#comment-9360 lean thinking - StartTags.com Wed, 27 Jan 2010 15:51:11 +0000 http://www.open-do.org/?p=446#comment-9360 [...] by Dave West of Forrester, and including Kevin Haynes of Dell and Dave Smoley of Flextronics. ...Lean Thinking Inside and Outside a Software Engineering CompanyHere's the fourth in a series of videos shot at the recent Lean, Agile Approach to High-Integrity [...] [...] by Dave West of Forrester, and including Kevin Haynes of Dell and Dave Smoley of Flextronics. …Lean Thinking Inside and Outside a Software Engineering CompanyHere's the fourth in a series of videos shot at the recent Lean, Agile Approach to High-Integrity [...]

]]>