Comments on: The Qualifying Machine http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Mon, 26 Jul 2010 17:14:38 +0200 hourly 1 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 [...]

]]> By: qm - StartTags.com http://www.open-do.org/projects/qualifying-machine/comment-page-1/#comment-9228 qm - StartTags.com Mon, 25 Jan 2010 21:41:20 +0000 http://www.open-do.org/?page_id=864#comment-9228 [...] It is to increase activity in quick match, swell as getting use to other factions in the game ...The Qualifying MachineA Qualifying Machine (QM) is an agile and lean infrastructure to ease DO-178 tool qualification. The [...] [...] It is to increase activity in quick match, swell as getting use to other factions in the game …The Qualifying MachineA Qualifying Machine (QM) is an agile and lean infrastructure to ease DO-178 tool qualification. The [...]

]]> By: AdaCore - The GNAT Pro Company http://www.open-do.org/projects/qualifying-machine/comment-page-1/#comment-8742 AdaCore - The GNAT Pro Company Wed, 02 Dec 2009 09:33:01 +0000 http://www.open-do.org/?page_id=864#comment-8742 [...] You can get more information on the Open-DO Qualifying Machine and download its instantiation for GNATcheck here. [...] [...] You can get more information on the Open-DO Qualifying Machine and download its instantiation for GNATcheck here. [...]

]]> By: The Open-DO Qualifying Machine http://www.open-do.org/projects/qualifying-machine/comment-page-1/#comment-8741 The Open-DO Qualifying Machine Wed, 02 Dec 2009 09:29:27 +0000 http://www.open-do.org/?page_id=864#comment-8741 [...] Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying Machine « Formal Methods Week [...] [...] Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying Machine « Formal Methods Week [...]

]]>