Versione delle 22:30, 31 ago 2015 modifica Tino (discussione \| contributi) Utenti autoverificati 16 073 modifiche ←Nuova pagina: {{Azienda \|nome = AdaCore \|logo = AdaCore (logo).jpg \|logo_dimensione = 250px \|tipo = società (diritto){{!}}società \|data_fondazione = 1994 \|nazione = Stati Uniti d...		Versione delle 22:34, 31 ago 2015 modifica annulla Tino (discussione \| contributi) Utenti autoverificati 16 073 modifiche typo Differenza successiva →
Riga 13: }} '''AdaCore''' è una [[società (diritto)\|società]] [[informatica]] che fornisce strumenti di sviluppo software [[open source]] per i [[linguaggio di programmazione\|~~linguaggio~~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. == Prodotti ==

AdaCore: differenze tra le versioni