AdaCore: differenze tra le versioni

Versione delle 00:12, 25 gen 2020

Versione delle 16:47, 15 mar 2020

Riga 14:

'''AdaCore''' è una [[società (diritto)|società]] [[informatica]] che produce 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.

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]]. I prodotti AdaCore sono distribuiti sotto [[licenza libera]] ([[GNU General Public License|GPL]] o [[GNAT Modified General Public License|GMGPL]]) e, come buona parte delle soluzioni software in linguaggio Ada, sono strumenti [[special purpose]] impiegati principalmente nello sviluppo di [[sistema critico|sistemi critici]] [[sistema real-time]].<ref>{{cita web|cognome1=Electronic Design|titolo=AdaCore|url=http://electronicdesign.com/adacore-0|sito=Electronic Design|accesso=17 giugno 2014|urlmorto=sì|urlarchivio=https://web.archive.org/web/20140702133704/http://electronicdesign.com/adacore-0|dataarchivio=2 luglio 2014}}</ref>

== Note ==