AdaCore

AdaCore
	Logo
Stato	Stati Uniti
Fondazione	1994
Sede principale	New York
Persone chiave	Robert Dewar; Ed Schonberg; Cyrille Comar; Tucker Taft; Richard Kenner; Franco Gasperoni
Settore	Informatico
Prodotti	GNAT Pro; GPS; PolyORB
Sito web	www.adacore.com
	Modifica dati su Wikidata · Manuale

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.

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 sistema real-time.^[1]

Note

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

Controllo di autorità	VIAF (EN) 313565953

Portale Aziende

Portale Informatica