AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
81	adacore_newsletter_spring07_v3.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:16 Computer programming AdaCore GNAT Programming Studio GNAT Ada A Sharp Robert Dewar Eclipse Free software Computing Software Ada programming language
82	an AdaCore Publication Spring 2009 www.adacore.com newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:18 Computer programming AdaCore SPARK GNAT Ada A Sharp Free software Integrated development environment Lego Mindstorms NXT Computing Ada programming language Software engineering
83	< technology corner > Conferences / Events Solving the Endianness Problem with GNAT Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-07-03 10:24:03 Software engineering AdaCore GNAT Ada SPARK A Sharp Robert Dewar Endianness Integrated development environment Computing Ada programming language Computer programming
84	< technology corner > newsflash What’s New in SPARK 2014? The SPARK language has a long history of successful usage in safety-critical and high-security software, since it Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-14 13:11:57 Computer programming AdaCore SPARK GNAT Ada A Sharp Robert Dewar Free software Ada programming language Computing Software engineering
85	adacore_newsletter_06_5colors.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:23 Computer programming AdaCore GNAT A Sharp Ada Robert Dewar GNU Debugger GNU Compiler Collection Free software Computing Software Ada programming language
86	an AdaCore Publication Autumn 2009 www.adacore.com newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:51:00 Software engineering AdaCore GNAT Ada SPARK A Sharp VxWorks Wind River Systems GNU Debugger Computing Ada programming language Computer programming
87	newsflash < technology corner > Dealing with Integer Overflow Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-02-01 09:14:51 AdaCore GNAT Programming Studio GNAT Ada Lego Mindstorms SPARK A Sharp Robert Dewar GNU Compiler Collection Computing Software Ada programming language
88	an AdaCore Publication Fall 2008 www.adacore.com newsflash Ada Expert Stephen Baird on Board Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:31 AdaCore GNAT SPARK Ada A Sharp Robert Dewar Computer programming DO-178B Free software Computing Software Ada programming language
89	newsflash GNAT Pro 7.3 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-02-02 18:01:05 Computer programming AdaCore SPARK GNAT Programming Studio Ada GNAT A Sharp DO-178B DO-178C Computing Ada programming language Software engineering
90	adacore_spr08_11x17_5h.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:39 Computer programming AdaCore SPARK GNAT Ada A Sharp Static program analysis DO-178C Free software Computing Ada programming language Software engineering

UPDATE