Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn
La tua Unionpedia con il tuo logo e dominio, a partire da 9,99 USD/mese
Crea il mio Unionpedia

AdaCore

Indice 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.

Indice

  1. 18 relazioni: Ada (linguaggio di programmazione), America del Nord, Europa, General purpose, GNAT, GNAT Modified General Public License, GNAT Programming Studio, GNU General Public License, Informatica, Licenza libera, Linguaggio di programmazione, New York, Open source, Parigi, S. Tucker Taft, Sistema critico, Sistema real-time, Società (diritto).

Ada (linguaggio di programmazione)

Ada è un linguaggio di programmazione sviluppato verso la fine degli anni settanta su iniziativa del Dipartimento della Difesa (DOD) degli Stati Uniti.

Vedere AdaCore e Ada (linguaggio di programmazione)

America del Nord

L'America del Nord (anche Nord America, Nordamerica o America settentrionale) è la parte del continente americano posta a nord dell'Istmo di Panama: nella letteratura geografica italiana, dell'Europa occidentale (escluse le Isole britanniche) e dell'America Latina, è considerata un subcontinente, facente parte del continente America, mentre secondo la letteratura geografica di cultura inglese, cinese e russa sarebbe invece un continente a sé stante.

Vedere AdaCore e America del Nord

Europa

LEuropa (AFI) è una regione geografica del mondo, comunemente considerata un continente in base a fattori storico-culturali e geopolitici.

Vedere AdaCore e Europa

General purpose

Nelle scienze applicate e in merceologia, si definisce general-purpose (traducibile "per uso generale") un dispositivo, strumento o meccanismo caratterizzato da una certa versatilità, adatto a molti impieghi e non specializzati per particolari esigenze.

Vedere AdaCore e General purpose

GNAT

GNAT è un compilatore per il linguaggio Ada. È un software libero e fa parte della GNU Compiler Collection; supporta tutte le versioni standard del linguaggio (Ada 83, Ada 95, Ada 2005, Ada 2012).

Vedere AdaCore e GNAT

GNAT Modified General Public License

La GNAT Modified General Public License (usualmente abbreviata in GMGPL) è una versione modificata della GNU General Public License tramite una GPL linking exception, inerentemente il linking di librerie o l'istanziazione di tipi generici, scritti in Ada, in altri progetti.

Vedere AdaCore e GNAT Modified General Public License

GNAT Programming Studio

GNAT Programming Studio (comunemente abbreviato in GPS, precedentemente noto come GNAT Programming System) è un IDE libero multipiattaforma per il linguaggio Ada.

Vedere AdaCore e GNAT Programming Studio

GNU General Public License

La GNU General Public License (comunemente indicata con l'acronimo GNU GPL o semplicemente GPL) è una licenza fortemente copyleft per software libero, originariamente stesa nel 1989 da Richard Stallman per patrocinare i programmi creati per il sistema operativo GNU.

Vedere AdaCore e GNU General Public License

Informatica

Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.

Vedere AdaCore e Informatica

Licenza libera

Una licenza libera è un particolare tipo di licenza che si applica a un'opera per garantirne la libertà d'utilizzo, di studio, di modifica e di condivisione.

Vedere AdaCore e Licenza libera

Linguaggio di programmazione

Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.

Vedere AdaCore e Linguaggio di programmazione

New York

New York (IPA:, in inglese americano), spesso chiamata New York City per distinguerla dallo Stato omonimo, e in italiano anche Nuova York, è una città degli Stati Uniti d'America situata nello Stato di New York.

Vedere AdaCore e New York

Open source

Con open source (in italiano sorgente aperta), in informatica, si indica un software distribuito, generalmente in via gratuita, sotto i termini di una licenza open source, che ne concede lo studio, l'utilizzo, la modifica e la redistribuzione.

Vedere AdaCore e Open source

Parigi

Parigi (AFI:; in francese Paris, pronuncia; con riferimento alla città antica, Lutezia, in francese Lutèce, dal latino Lutetia Parisiorum) è la capitale e la città più popolata della Francia, capoluogo della regione dell'Île-de-France e l'unico comune a essere nello stesso tempo dipartimento, secondo la riforma del 1977 e i dettami della legge PML che espansero i vecchi confini comunali.

Vedere AdaCore e Parigi

S. Tucker Taft

Studioso di linguaggi di programmazione ad alta integrità, Taft ha contribuito allo sviluppo del linguaggio Ada come responsabile della progettazione degli standard Ada 1995, Ada 2005 e Ada 2012.

Vedere AdaCore e S. Tucker Taft

Sistema critico

Un sistema critico (dall'inglese critical system) è un generico sistema che, in caso di mancato funzionamento, può provocare danni inaccettabili.

Vedere AdaCore e Sistema critico

Sistema real-time

In informatica, un sistema real-time (in italiano "sistema in tempo reale") è un calcolatore in cui la correttezza del risultato delle sue computazioni dipende non solo dalla correttezza logica ma anche dalla correttezza temporale.

Vedere AdaCore e Sistema real-time

Società (diritto)

Una società, nel diritto e nella ragioneria, è una particolare forma giuridica di svolgimento, da parte di un soggetto, di un'attività economica: essa può essere costituita da un unico soggetto (società unipersonale) o da più soggetti detti soci (persone fisiche e/o giuridiche) riunite in un'impresa collettiva.

Vedere AdaCore e Società (diritto)

Conosciuto come Ada Core, Ada Core Technologies.