http://www.adacore.com AdaCore technology and news Tue, 07 Feb 2012 12:00:00 +0000 http://wordpress.org/?v=2.9 en hourly 1 http://www.eetimes.com/design/military-aerospace-design/4234444/Developing-secure-code-using-SPARK--Part-2- http://www.eetimes.com/design/military-aerospace-design/4234444/Developing-secure-code-using-SPARK--Part-2-#comments Tue, 17 Jan 2012 07:48:54 +0000 AdaCore http://www2.adacore.com/?p=13704 http://www.eetimes.com/design/military-aerospace-design/4234444/Developing-secure-code-using-SPARK--Part-2-/feed/ 0 http://www.eetimes.com/design/military-aerospace-design/4233803/Developing-secure-code-using-SPARK-Part1?pageNumber=0 http://www.eetimes.com/design/military-aerospace-design/4233803/Developing-secure-code-using-SPARK-Part1?pageNumber=0#comments Tue, 17 Jan 2012 07:47:17 +0000 AdaCore http://www2.adacore.com/?p=13702 http://www.eetimes.com/design/military-aerospace-design/4233803/Developing-secure-code-using-SPARK-Part1?pageNumber=0/feed/ 0 http://www.newelectronics.co.uk/electronics-interviews/cyrille-comar-adacore-europe/38796/ http://www.newelectronics.co.uk/electronics-interviews/cyrille-comar-adacore-europe/38796/#comments Fri, 09 Dec 2011 08:32:04 +0000 AdaCore http://www2.adacore.com/?p=13575 http://www.newelectronics.co.uk/electronics-interviews/cyrille-comar-adacore-europe/38796/feed/ 0 http://embedded-computing.com/non-intrusive-code-coverage-safety-critical-software http://embedded-computing.com/non-intrusive-code-coverage-safety-critical-software#comments Wed, 16 Nov 2011 07:48:07 +0000 AdaCore http://www2.adacore.com/?p=13472 http://embedded-computing.com/non-intrusive-code-coverage-safety-critical-software/feed/ 0 http://electronicdesign.com/article/embedded/What-s-New-in-Static-Analysis-Technology.aspx http://electronicdesign.com/article/embedded/What-s-New-in-Static-Analysis-Technology.aspx#comments Sun, 16 Oct 2011 09:34:46 +0000 AdaCore http://www2.adacore.com/?p=13522 http://electronicdesign.com/article/embedded/What-s-New-in-Static-Analysis-Technology.aspx/feed/ 0 http://www.engineeringtv.com/video/SPARK-Programming-from-AdaCore;Only-Engineering-TV-Videos http://www.engineeringtv.com/video/SPARK-Programming-from-AdaCore;Only-Engineering-TV-Videos#comments Fri, 07 Oct 2011 07:21:31 +0000 AdaCore http://www2.adacore.com/?p=13230 http://www.engineeringtv.com/video/SPARK-Programming-from-AdaCore;Only-Engineering-TV-Videos/feed/ 0 http://www.eetimes.com/design/embedded/4227764/The--Big-Thaw----An-Agile-Process-for-Software-Certification- http://www.eetimes.com/design/embedded/4227764/The--Big-Thaw----An-Agile-Process-for-Software-Certification-#comments Wed, 21 Sep 2011 08:36:18 +0000 AdaCore http://www2.adacore.com/?p=13145 http://www.eetimes.com/design/embedded/4227764/The--Big-Thaw----An-Agile-Process-for-Software-Certification-/feed/ 0 http://www.mil-embedded.com/articles/id/?5343 http://www.mil-embedded.com/articles/id/?5343#comments Tue, 13 Sep 2011 06:44:02 +0000 AdaCore http://www2.adacore.com/?p=13058 http://www.mil-embedded.com/articles/id/?5343/feed/ 0 http://www.eetimes.com/design/military-aerospace-design/4218480/High-integrity-object-oriented-programming-with-Ada---Part-3 http://www.eetimes.com/design/military-aerospace-design/4218480/High-integrity-object-oriented-programming-with-Ada---Part-3#comments Sun, 21 Aug 2011 14:19:49 +0000 AdaCore http://www2.adacore.com/?p=13000 http://www.eetimes.com/design/military-aerospace-design/4218480/High-integrity-object-oriented-programming-with-Ada---Part-3/feed/ 0 http://www.eetimes.com/design/military-aerospace-design/4218257/High-integrity-object-oriented-programming-with-Ada---Part-2 http://www.eetimes.com/design/military-aerospace-design/4218257/High-integrity-object-oriented-programming-with-Ada---Part-2#comments Mon, 01 Aug 2011 15:26:49 +0000 AdaCore http://www2.adacore.com/?p=12988 http://www.eetimes.com/design/military-aerospace-design/4218257/High-integrity-object-oriented-programming-with-Ada---Part-2/feed/ 0