AdaCore

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

AdaCore
Logo
Stato	Stati Uniti
Fondazione
Sede principale	New York, Parigi
Prodotti	GNAT Pro GPS PolyORB
Sito web	www.adacore.com

I principali prodotti di AdaCore sono i compilatori GNAT Pro e SPARK Pro, l'ambiente di sviluppo GNAT Programming Studio e il validatore CodePeer. I prodotti AdaCore sono distribuiti sotto licenza libera (GPL o GMGPL) e, come buona parte delle soluzioni software in linguaggio Ada, sono strumenti special purpose impiegati principalmente nello sviluppo di sistemi critici real-time.^[1]

Note

1. ^ Electronic Design, AdaCore, su Electronic Design. URL consultato il 17 giugno 2014 (archiviato dall'url originale il 2 luglio 2014).

Collegamenti esterni

• (EN) Sito ufficiale, su adacore.com.  

Controllo di autorità	VIAF (EN) 313565953

  Portale Aziende

  Portale Informatica