AdaCore - The GNAT Pro Company » AdaCore in the Press http://www.adacore.com AdaCore technology and news Sun, 14 Mar 2010 08:49:01 +0000 http://wordpress.org/?v=2.9 en hourly 1 Integrating static analysis with a compiler and database http://www.adacore.com/2010/02/25/integrating-static-analysis-with-a-compiler-and-database/ http://www.adacore.com/2010/02/25/integrating-static-analysis-with-a-compiler-and-database/#comments Thu, 25 Feb 2010 08:34:45 +0000 AdaCore http://www2.adacore.com/?p=3681 http://www.adacore.com/2010/02/25/integrating-static-analysis-with-a-compiler-and-database/feed/ 0 Executing software contracts http://www.adacore.com/2010/02/17/executing-software-contracts/ http://www.adacore.com/2010/02/17/executing-software-contracts/#comments Wed, 17 Feb 2010 07:35:58 +0000 AdaCore http://www2.adacore.com/?p=3656 http://www.adacore.com/2010/02/17/executing-software-contracts/feed/ 0 Dasher runs with Ada http://www.adacore.com/2010/01/06/dasher-runs-with-ada/ http://www.adacore.com/2010/01/06/dasher-runs-with-ada/#comments Wed, 06 Jan 2010 08:06:57 +0000 AdaCore http://www2.adacore.com/?p=3304 http://www.adacore.com/2010/01/06/dasher-runs-with-ada/feed/ 0 Software warranties − A new era? http://www.adacore.com/2009/09/24/software-warranties-%e2%88%92-a-new-era/ http://www.adacore.com/2009/09/24/software-warranties-%e2%88%92-a-new-era/#comments Thu, 24 Sep 2009 18:19:56 +0000 AdaCore http://www2.adacore.com/?p=3112 http://www.adacore.com/2009/09/24/software-warranties-%e2%88%92-a-new-era/feed/ 0 Ada Language Suits Real-Time Safety-Critical Needs http://www.adacore.com/2009/08/31/ada-language-suits-real-time/ http://www.adacore.com/2009/08/31/ada-language-suits-real-time/#comments Mon, 31 Aug 2009 09:40:10 +0000 AdaCore http://www2.adacore.com/?p=3056 http://www.adacore.com/2009/08/31/ada-language-suits-real-time/feed/ 0 FLOSS and COTS: Natural partners for decreasing costs and increasing quality http://www.adacore.com/2009/08/31/floss-and-cots-new-electronics/ http://www.adacore.com/2009/08/31/floss-and-cots-new-electronics/#comments Mon, 31 Aug 2009 09:28:07 +0000 AdaCore http://www2.adacore.com/?p=3055 http://www.adacore.com/2009/08/31/floss-and-cots-new-electronics/feed/ 0 When less is more: Programming language technology for safety http://www.adacore.com/2009/06/24/when-less-is-more-programming-language-technology-for-safety/ http://www.adacore.com/2009/06/24/when-less-is-more-programming-language-technology-for-safety/#comments Wed, 24 Jun 2009 06:48:44 +0000 AdaCore http://www2.adacore.com/?p=2993 http://www.adacore.com/2009/06/24/when-less-is-more-programming-language-technology-for-safety/feed/ 0 Making static analysis a part of code review http://www.adacore.com/2009/06/19/making-static-analysis-a-part-of-code-review/ http://www.adacore.com/2009/06/19/making-static-analysis-a-part-of-code-review/#comments Fri, 19 Jun 2009 06:48:47 +0000 AdaCore http://www2.adacore.com/?p=2988 http://www.adacore.com/2009/06/19/making-static-analysis-a-part-of-code-review/feed/ 0 ‘Legacy’ is not a four-letter word http://www.adacore.com/2009/01/21/legacy/ http://www.adacore.com/2009/01/21/legacy/#comments Wed, 21 Jan 2009 08:39:57 +0000 AdaCore http://www2.adacore.com/?p=2549 http://www.adacore.com/2009/01/21/legacy/feed/ 0 Take a New Look at Ada http://www.adacore.com/2008/11/17/take-a-new-look-at-ada/ http://www.adacore.com/2008/11/17/take-a-new-look-at-ada/#comments Mon, 17 Nov 2008 09:59:55 +0000 AdaCore http://www2.adacore.com/?p=3175 http://www.adacore.com/2008/11/17/take-a-new-look-at-ada/feed/ 0