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 http://www.open-do.org/conference-2010/comment-page-1/#comment-11164 formal proofs Tue, 06 Apr 2010 07:47:31 +0000 http://www.open-do.org/?page_id=923#comment-11164 [...] an emphasis on academic and industrial partnerships. Although I am familiar with the field, I...Open-DO conferenceFormal Methods and tools promise to find tough corner-case bugs and provide exhaustive proofs of [...] [...] an emphasis on academic and industrial partnerships. Although I am familiar with the field, I…Open-DO conferenceFormal Methods and tools promise to find tough corner-case bugs and provide exhaustive proofs of [...]

]]> 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. [...]

]]> http://www.open-do.org/conference-2010/comment-page-1/#comment-9002 Libre - Tue, 05 Jan 2010 09:31:44 +0000 http://www.open-do.org/?page_id=923#comment-9002 [...] For more information and to sign-up (free of charge) for the event, please visit: www.open-do.org. [...] [...] For more information and to sign-up (free of charge) for the event, please visit: http://www.open-do.org. [...]

]]>