AdaCore: differenze tra le versioni

Versione delle 01:01, 3 set 2015

Versione delle 09:49, 3 gen 2016

Riga 7:

|nazione = [[Stati Uniti d'America|Stati Uniti]], [[Francia]]

|sede = [[New York]], [[Parigi]]

|persone_chiave = Robert Dewar<br />Ed Schonberg<br />Cyrille Comar<br />[[Tucker Taft]]<br />Richard Kenner<br />Franco Gasperoni

|industria = informatica

|prodotti = [[GNAT|GNAT Pro]]<br />[[GNAT Programming Studio|GPS]]<br />[[PolyORB]]

|sito = http://www.adacore.com/

}}

'''AdaCore''' è una [[società (diritto)|società]] [[informatica]] che fornisce strumenti di sviluppo software [[open source]] per i [[linguaggio di programmazione|linguaggi di programmazione]] [[Ada (linguaggio di programmazione)|Ada]] e [[SPARK]]. La società ha sede [[America Settentrionale|nordamericana]] a [[New York]] ed [[Europa|europea]] a [[Parigi]]. È stata fondata nel 1994 con il nome '''Ada Core Technologies''' ('''ACT'''), e nel 2004 ha effettuato un rebrand come AdaCore.

== Prodotti ==

I principali prodotti di AdaCore sono i compilatori [[GNAT|GNAT Pro]] e SPARK Pro, l'ambiente di sviluppo [[GNAT Programming Studio]] e il validatore [[CodePeer]]. Tutti i prodotti di AdaCore sono distribuiti sotto licenza [[GNU General Public License|GPL]] o [[GNAT Modified General Public License|GMGPL]]. Gli strumenti AdaCore, come buona parte delle soluzioni software in linguaggio Ada, sono impiegati principalmente nello sviluppo di applicazioni mission-critical che richiedono grande affidabilità e sicurezza,<ref>{{cita web|cognome1=Electronic Design|titolo=AdaCore|url=http://electronicdesign.com/adacore-0|sito=Electronic Design|accesso=17 giugno 2014}}</ref> come [[astronautica]], [[avionica]], applicazioni militari, [[controllo del traffico aereo]], [[ferrovia]], [[finanza]] e dispositivi medici.

Tra i principali partner di AdaCore vi sono [[Altran]], [[Wind River Systems|Wind River]], [[Hewlett-Packard]] (GNAT Pro è supportato su diverse piattaforme HP, come [[OpenVMS]] e [[Tru64]] su sistemi [[AlphaServer]], e [[HP-UX]], HP [[Linux]], e OpenVMS su [[HP Integrity Servers]]) e Verocel (che ha sviluppato un package di certificazione di livello A secondo lo standard [[DO-178B]] per le librerie runtime di GNAT Pro High Integrity Edition.

Riga 28:

== Collegamenti esterni ==

* [{{cita web|http://www.adacore.com |Sito ufficiale]}}

* [{{cita web|http://libre.adacore.com/ |AdaCore Libre site]}}

* [{{cita web|http://university.adacore.com |AdaCore University]}}

* [{{cita web|http://www.oss-in-atm.info/20051207/09-gasperoni.php |COTS, FLOSS, and Market Freedom in Safety-Centric Industries]}}

* [{{cita web|http://www.atego.com//partners/adacore/ |Atego, ''AdaCore''] }}

* [{{cita web|http://www.systematic-paris-region.org/en/members/adacore |Systematic, ''AdaCore'']}}

* [{{cita web|http://www.newelectronics.co.uk/electronics-interviews/cyrille-comar-adacore-europe/38796/, |AdaCore Europe]}}

{{portale|aziende|informatica}}

[[Categoria:Ada]]