http://www.adacore.com AdaCore technology and news Sat, 04 Jul 2009 01:31:59 +0000 http://wordpress.org/?v=2.5.1 en 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/ 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/ 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/ http://www.adacore.com/2008/11/12/tokeneer-interview/ http://www.adacore.com/2008/11/12/tokeneer-interview/#comments Wed, 12 Nov 2008 10:15:04 +0000 AdaCore http://www2.adacore.com/?p=2464 http://www.adacore.com/2008/11/12/tokeneer-interview/feed/ http://www.adacore.com/2008/10/01/safety-and-security-certification-issues-and-technologies/ http://www.adacore.com/2008/10/01/safety-and-security-certification-issues-and-technologies/#comments Wed, 01 Oct 2008 15:10:14 +0000 AdaCore http://www2.adacore.com/?p=2382 http://www.adacore.com/2008/10/01/safety-and-security-certification-issues-and-technologies/feed/ http://www.adacore.com/2008/09/09/boosting-coverage/ http://www.adacore.com/2008/09/09/boosting-coverage/#comments Tue, 09 Sep 2008 10:15:07 +0000 AdaCore http://www2.adacore.com/?p=2353 http://www.adacore.com/2008/09/09/boosting-coverage/feed/ http://www.adacore.com/2008/08/26/real-time-concurrent-issues-drive-ada-versus-java-choice-2/ http://www.adacore.com/2008/08/26/real-time-concurrent-issues-drive-ada-versus-java-choice-2/#comments Tue, 26 Aug 2008 06:42:32 +0000 AdaCore http://www2.adacore.com/?p=2344 http://www.adacore.com/2008/08/26/real-time-concurrent-issues-drive-ada-versus-java-choice-2/feed/ http://www.adacore.com/2008/07/23/conflict-detection-software-runs-on-ada/ http://www.adacore.com/2008/07/23/conflict-detection-software-runs-on-ada/#comments Wed, 23 Jul 2008 07:55:04 +0000 AdaCore http://www2.adacore.com/2008/07/23/conflict-detection-software-runs-on-ada/ http://www.adacore.com/2008/07/23/conflict-detection-software-runs-on-ada/feed/ http://www.adacore.com/2008/06/24/code-coverage-free-software-and-virtualization-to-the-rescue/ http://www.adacore.com/2008/06/24/code-coverage-free-software-and-virtualization-to-the-rescue/#comments Tue, 24 Jun 2008 13:42:00 +0000 AdaCore http://www2.adacore.com/2008/06/24/code-coverage-free-software-and-virtualization-to-the-rescue/ http://www.adacore.com/2008/06/24/code-coverage-free-software-and-virtualization-to-the-rescue/feed/ http://www.adacore.com/2008/05/15/static-stack-analysis-for-high-integrity-systems/ http://www.adacore.com/2008/05/15/static-stack-analysis-for-high-integrity-systems/#comments Thu, 15 May 2008 07:37:02 +0000 AdaCore http://www2.adacore.com/2008/05/15/static-stack-analysis-for-high-integrity-systems/ http://www.adacore.com/2008/05/15/static-stack-analysis-for-high-integrity-systems/feed/