AdaCore
Salt la navigare Salt la căutare
| AdaCore | |
|---|---|
 | |
| Stat |  Statele Unite |
| fundație | 1994 |
| Sediu | New York |
| Oameni cheie | Robert Dewar Ed Schonberg Cyrille Comar Tucker Taft Richard Kenner Franco Gasperoni |
| Sector | Informatică |
| Produse | GNAT Pro GPS PolyORB |
| Site-ul web | www.adacore.com |
AdaCore este o companie IT care produce instrumente de dezvoltare software open source pentru limbajele de programare Ada și SPARK . Compania are sediul nord-american la New York și sediul european la Paris . A fost fondată în 1994 sub numele Ada Core Technologies ( ACT ), iar în 2004 a realizat un rebrand ca AdaCore.
Principalele produse ale AdaCore sunt compilatoarele GNAT Pro și SPARK Pro, mediul de dezvoltare GNAT Programming Studio și validatorul CodePeer . Produsele AdaCore sunt distribuite sub o licență gratuită ( GPL sau GMGPL ) și, la fel ca majoritatea soluțiilor software în limba Ada, sunt instrumente cu scop special utilizate în principal în dezvoltarea sistemelor critice în timp real . [1]
Notă
linkuri externe
- ( RO ) Site oficial , pe adacore.com .
| Controlul autorității | VIAF ( EN ) 313565953 · WorldCat Identities ( EN ) viaf-313565953 |
|---|
