:quality(80)/images.vogel.de/vogelonline/bdb/1949700/1949762/original.jpg)

AdaCore
rue d’Amsterdam 46 ⎢ 75009 Paris ⎢ Frankreich ⎢ Routenplaner
:quality(80):fill(ffffff,1)/images.vogel.de/vogelonline/bdb/1944200/1944282/original.jpg)
Artikel | 23.03.2022
GNAT Pro Assurance 22 sorgt für mehr Sicherheit
:quality(80):fill(ffffff,1)/images.vogel.de/vogelonline/bdb/1935800/1935846/original.jpg)
Artikel | 28.02.2022
Umfangreiches Software-Paket für Ada
:quality(80)/images.vogel.de/vogelonline/bdb/1928400/1928405/original.jpg)
Artikel | 02.02.2022
Adacore unterstützt Rust-Toolchain
:quality(80)/images.vogel.de/vogelonline/bdb/1800800/1800890/original.jpg)
Artikel | 18.02.2021
AdaCore übernimmt Componolit
:quality(80)/images.vogel.de/vogelonline/bdb/1762300/1762393/original.jpg)
Artikel | 13.11.2020
SPARK und MISRA-C – Die Vorteile von Sprach-Subsets
:quality(80)/images.vogel.de/vogelonline/bdb/1625800/1625842/original.jpg)
Artikel | 24.09.2019
ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung
:quality(80)/images.vogel.de/vogelonline/bdb/1505400/1505496/original.jpg)
Artikel | 31.01.2019
Formale Testmethoden: Reif für den Mainstream
:quality(80)/images.vogel.de/vogelonline/bdb/1511800/1511821/original.jpg)
Artikel | 30.01.2019
AdaCore wird Mitglied der RISC-V Foundation
:quality(80)/images.vogel.de/vogelonline/bdb/1483700/1483773/original.jpg)
Artikel | 14.11.2018
Verifikation von Embedded Software durch Integration von Test und Beweis
:quality(80)/images.vogel.de/vogelonline/bdb/1230100/1230187/original.jpg)