Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/AdaCore> ?p ?o }
- AdaCore abstract "AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator.GNAT Pro, AdaCore's main product, is a commercial-grade open source Ada development that supports all Ada versions (Ada 2012, Ada 2005, Ada 95, Ada 83) and includes professional consulting, training and maintenance services. All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic use.The company was founded in 1994, and was originally named Ada Core Technologies (ACT). In 2004 it was rebranded to AdaCore.AdaCore is privately owned and has North American headquarters in New York and European headquarters in Paris.".
- AdaCore foundingYear "1994".
- AdaCore industry Software.
- AdaCore location New_York.
- AdaCore location Paris.
- AdaCore product GNAT.
- AdaCore product GNAT_Programming_Studio.
- AdaCore product PolyORB.
- AdaCore thumbnail AdaCore_(logo).jpg?width=300.
- AdaCore type Corporation.
- AdaCore wikiPageExternalLink libre.adacore.com.
- AdaCore wikiPageExternalLink smartward.com.au.
- AdaCore wikiPageExternalLink university.adacore.com.
- AdaCore wikiPageExternalLink www.adacore.com.
- AdaCore wikiPageExternalLink www.adacore.com.
- AdaCore wikiPageExternalLink 787-dreamliner-air-conditioning-control-unit.
- AdaCore wikiPageExternalLink 787-dreamliner-common-core-system.
- AdaCore wikiPageExternalLink advanced-jet-avionics-display.
- AdaCore wikiPageExternalLink amx-modernization-program.
- AdaCore wikiPageExternalLink argos-satellite-project.
- AdaCore wikiPageExternalLink arinc-653.
- AdaCore wikiPageExternalLink c130-j-flight-management-system.
- AdaCore wikiPageExternalLink cross-domain-guard.
- AdaCore wikiPageExternalLink cubesat-1.
- AdaCore wikiPageExternalLink financial-system-development.
- AdaCore wikiPageExternalLink gnat-pro-safety-critical-used-by-terma-a-s-for-space-monitor-project.
- AdaCore wikiPageExternalLink hospital-information-system-development.
- AdaCore wikiPageExternalLink international-space-station.
- AdaCore wikiPageExternalLink land-and-naval-surveillance-and-defense-systems.
- AdaCore wikiPageExternalLink multi-level-security-workstation.
- AdaCore wikiPageExternalLink neuron-unmanned-aircraft.
- AdaCore wikiPageExternalLink railway-control-system.
- AdaCore wikiPageExternalLink toyota-itc-japan.
- AdaCore wikiPageExternalLink a350.
- AdaCore wikiPageExternalLink mbda.
- AdaCore wikiPageExternalLink CaseStudy_Eurofighter.pdf.
- AdaCore wikiPageExternalLink adacore.
- AdaCore wikiPageExternalLink www.deepbluecap.com.
- AdaCore wikiPageExternalLink ,.
- AdaCore wikiPageExternalLink 09-gasperoni.php.
- AdaCore wikiPageExternalLink en.
- AdaCore wikiPageExternalLink adacore.
- AdaCore wikiPageExternalLink www.telecom-robotics.org.
- AdaCore wikiPageExternalLink en.
- AdaCore wikiPageExternalLink www.verocel.com.
- AdaCore wikiPageID "2831742".
- AdaCore wikiPageLength "8881".
- AdaCore wikiPageOutDegree "67".
- AdaCore wikiPageRevisionID "637555332".
- AdaCore wikiPageWikiLink Ada_(programming_language).
- AdaCore wikiPageWikiLink Aerospace.
- AdaCore wikiPageWikiLink Air_traffic_control.
- AdaCore wikiPageWikiLink Airbus_Helicopters.
- AdaCore wikiPageWikiLink AlphaServer.
- AdaCore wikiPageWikiLink Altran.
- AdaCore wikiPageWikiLink Arms_industry.
- AdaCore wikiPageWikiLink Astrium.
- AdaCore wikiPageWikiLink Avionics.
- AdaCore wikiPageWikiLink BAE_Systems.
- AdaCore wikiPageWikiLink Barco_(manufacturer).
- AdaCore wikiPageWikiLink Boeing.
- AdaCore wikiPageWikiLink Category:Ada_(programming_language).
- AdaCore wikiPageWikiLink Category:Companies_based_in_New_York_City.
- AdaCore wikiPageWikiLink Category:Computer_companies_of_the_United_States.
- AdaCore wikiPageWikiLink Category:Free_software_companies.
- AdaCore wikiPageWikiLink Category:Software_companies_based_in_New_York.
- AdaCore wikiPageWikiLink CodePeer.
- AdaCore wikiPageWikiLink Corporation.
- AdaCore wikiPageWikiLink CubeSat.
- AdaCore wikiPageWikiLink DO-178B.
- AdaCore wikiPageWikiLink Data_structure.
- AdaCore wikiPageWikiLink EADS_CASA.
- AdaCore wikiPageWikiLink Embedded_software.
- AdaCore wikiPageWikiLink Embraer.
- AdaCore wikiPageWikiLink Financial_services.
- AdaCore wikiPageWikiLink GNAT.
- AdaCore wikiPageWikiLink GNAT_Modified_General_Public_License.
- AdaCore wikiPageWikiLink GNAT_Programming_Studio.
- AdaCore wikiPageWikiLink GNU_General_Public_License.
- AdaCore wikiPageWikiLink HP-UX.
- AdaCore wikiPageWikiLink HP_Integrity_Servers.
- AdaCore wikiPageWikiLink Hamilton_Sundstrand.
- AdaCore wikiPageWikiLink Hewlett-Packard.
- AdaCore wikiPageWikiLink Humanoid.
- AdaCore wikiPageWikiLink Iridium_satellite_constellation.
- AdaCore wikiPageWikiLink Lego_Mindstorms.
- AdaCore wikiPageWikiLink Linux.
- AdaCore wikiPageWikiLink Lockheed_Martin.
- AdaCore wikiPageWikiLink MBDA.
- AdaCore wikiPageWikiLink Mälardalen_University_College.
- AdaCore wikiPageWikiLink NASA.
- AdaCore wikiPageWikiLink New_York.
- AdaCore wikiPageWikiLink OpenVMS.
- AdaCore wikiPageWikiLink Open_source.
- AdaCore wikiPageWikiLink Paris.
- AdaCore wikiPageWikiLink PolyORB.
- AdaCore wikiPageWikiLink Rockwell_Collins.
- AdaCore wikiPageWikiLink Saab_Group.
- AdaCore wikiPageWikiLink Satellite.
- AdaCore wikiPageWikiLink Siemens.