AdaCore: differenze tra le versioni

Versione delle 15:55, 20 set 2019

Versione attuale delle 14:32, 25 mar 2024

(5 versioni intermedie di 5 utenti non mostrate)

Riga 1:

{{Azienda

|nome = AdaCore

|forma societaria =

|logo = AdaCore (logo).jpg

|data fondazione = 1994

|logo_dimensione = 250px

|forza cat anno =

|tipo = società (diritto){{!}}società

|luogo fondazione =

|data_fondazione = 1994

|fondatori =

|data chiusura =

|causa chiusura =

|nazione = USA

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

|controllate =

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

|gruppo =

|industria = informatica

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

|industriasettore = informatica

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

|fatturato =

|anno fatturato =

|utile netto =

|anno utile netto =

|dipendenti =

|anno dipendenti =

}}

'''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 ==

<references/>

== Altri progetti ==

{{interprogetto}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

{{Controllo di autorità}}

{{portale|aziende|informatica}}