GNAT - PDFSEARCH.IO - Document Search Engine

GNAT
Results: 190

#	Item
71	< product spotlight > GNAT Pro Safety-Critical for Railway Applications newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-07-02 09:33:58 Computer programming AdaCore SPARK Ada GNAT Programming Studio GNAT A Sharp Static program analysis Design by contract Computing Software engineering Ada programming language
72	Microsoft Word - EADS.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-10-27 17:50:06 EADS Aviation AdaCore GNAT Future Strategic Tanker Aircraft Airbus A Sharp EADS CASA ARINC Computing Ada programming language Software
73	an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:37 Computer programming AdaCore GNAT Ada A Sharp DO-178B Code coverage DO-178C GNU Compiler Collection Computing Software Ada programming language
74	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
75	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
76	< 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
77	< 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
78	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
79	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
80	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