Mon, 04 May 2026 06:15:07 +0200 https://www.openpr.de/ pm-1104039 Wed, 14 Oct 2020 12:27:40 +0200 https://www.openpr.de/news/1104039/HITACHI-Rail-STS-waehlt-GNAT-Pro-von-AdaCore-fuer-neue-Eisenbahnsicherheitsplattform.html pm-1100117 Thu, 10 Sep 2020 15:35:20 +0200 https://www.openpr.de/news/1100117/Europaeisches-Luft-und-Raumfahrtunternehmen-entscheidet-sich-fuer-GNAT-Pro-Ada.html pm-1095564 Tue, 28 Jul 2020 12:42:27 +0200 https://www.openpr.de/news/1095564/AdaCore-startet-fuenften-jaehrlichen-Programmierwettbewerb.html pm-1079081 Wed, 04 Mar 2020 11:39:01 +0100 https://www.openpr.de/news/1079081/AdaCore-gibt-Gewinner-des-vierten-jaehrlichen-Make-with-Ada-Wettbewerbs-bekannt.html pm-1077370 Tue, 18 Feb 2020 13:32:46 +0100 https://www.openpr.de/news/1077370/AdaCores-Toolchain-fuer-Ada-SPARK-und-C-erhaelt-Qualifizierungen-gemaess-ISO-26262-and-IEC-61508.html pm-1070728 Wed, 11 Dec 2019 13:00:35 +0100 https://www.openpr.de/news/1070728/ELDORADO-waehlt-QGen-von-AdaCore-fuer-kritische-Medizin-Anwendungen.html pm-1061999 Wed, 25 Sep 2019 10:11:43 +0200 https://www.openpr.de/news/1061999/ESA-waehlt-Adacores-Multitasking-Loesung-fuer-die-Raumschiff-Softwareentwicklung.html pm-1060307 Tue, 10 Sep 2019 16:08:24 +0200 https://www.openpr.de/news/1060307/AdaCore-startet-vierten-jaehrlichen-Programmierwettbewerb-Make-with-Ada.html pm-1039511 Tue, 26 Feb 2019 18:00:15 +0100 https://www.openpr.de/news/1039511/AdaCore-verbessert-mit-NVIDIA-sicherheitskritische-Firmware.html pm-1035545 Tue, 29 Jan 2019 17:53:24 +0100 https://www.openpr.de/news/1035545/AdaCore-wird-Mitglied-der-RISC-V-Foundation-und-unterstuetzt-die-Ada-und-C-Kompilierung.html pm-1032665 Tue, 08 Jan 2019 18:58:52 +0100 https://www.openpr.de/news/1032665/AVIO-entwickelt-mit-GNAT-Pro-Assurance-Flugsoftware-fuer-das-europaeische-Raumfahrtprogramm.html pm-1029088 Mon, 03 Dec 2018 11:52:20 +0100 https://www.openpr.de/news/1029088/ci-tec-vertraut-auf-die-Entwicklungsumgebung-GNAT-Pro-Ada.html pm-1022905 Thu, 18 Oct 2018 08:41:25 +0200 https://www.openpr.de/news/1022905/AdaCore-startet-neuen-Programmierwettbewerb-Make-with-Ada.html pm-1008133 Wed, 20 Jun 2018 08:22:48 +0200 https://www.openpr.de/news/1008133/AdaCore-erweitert-Support-fuer-das-VxWorks-Portfolio-von-Wind-River.html pm-1008079 Tue, 19 Jun 2018 14:20:47 +0200 https://www.openpr.de/news/1008079/AdaCore-GNAT-Pro-unterstuetzt-den-LynxSecure-Separation-Kernel-Hypervisor-auf-Intel-Prozessoren.html pm-1006751 Fri, 08 Jun 2018 10:34:56 +0200 https://www.openpr.de/news/1006751/Tools-von-AdaCore-optimieren-die-Entwicklung-sicherer-Software-fuer-autonomes-Fahren.html pm-1004818 Wed, 23 May 2018 15:06:01 +0200 https://www.openpr.de/news/1004818/Universitaet-von-Colorado-setzt-Ada-und-GNAT-Pro-fuer-NASA-Projekt-ein.html pm-1003973 Wed, 16 May 2018 09:25:55 +0200 https://www.openpr.de/news/1003973/AdaCore-veroeffentlicht-GNAT-Pro-Entwicklungstools-fuer-BlackBerry-QNX.html pm-994459 Tue, 27 Feb 2018 13:01:05 +0100 https://www.openpr.de/news/994459/Scandinavian-Real-Heart-setzt-bei-der-Steuerung-ihres-kuenstlichen-Herzens-auf-Software-von-AdaCore.html pm-990953 Wed, 31 Jan 2018 17:51:53 +0100 https://www.openpr.de/news/990953/AdaCore-V18-1-bringt-neue-Loesungen-fuer-Softwareentwicklung-und-verifizierung.html pm-980220 Wed, 15 Nov 2017 15:17:10 +0100 https://www.openpr.de/news/980220/AdaCore-praesentiert-neue-Produktlinien-fuer-GNAT-Pro.html pm-951203 Mon, 15 May 2017 15:35:43 +0200 https://www.openpr.de/news/951203/AdaCore-startet-Programmierwettbewerb-Make-with-Ada.html pm-944212 Thu, 23 Mar 2017 08:48:22 +0100 https://www.openpr.de/news/944212/AdaCore-veroeffentlicht-Broschuere-fuer-die-Entwicklung-zertifizierter-Software-in-der-Luftfahrt.html pm-944190 Wed, 22 Mar 2017 14:42:58 +0100 https://www.openpr.de/news/944190/AdaCore-stellt-die-Entwicklungsumgebung-GNAT-Pro-17-fuer-PikeOS-RTOS-von-SYSGO-vor.html pm-942931 Tue, 14 Mar 2017 19:21:08 +0100 https://www.openpr.de/news/942931/AdaCore-aktualisiert-seine-Produktlinien.html pm-942922 Tue, 14 Mar 2017 19:18:59 +0100 https://www.openpr.de/news/942922/AdaCore-QGen-17-1-unterstuetzt-modellbasierte-Entwicklung-und-Verifikation.html pm-929251 Mon, 28 Nov 2016 17:11:41 +0100 https://www.openpr.de/news/929251/AdaCore-gibt-Gewinner-des-Programmierwettbewerbs-Make-with-Ada-bekannt.html pm-910524 Thu, 07 Jul 2016 12:24:34 +0200 https://www.openpr.de/news/910524/AdaCore-Broschuere-erklaert-den-Einsatz-von-Ada-bei-der-Entwicklung-von-Eisenbahn-Software.html pm-892029 Tue, 23 Feb 2016 12:14:19 +0100 https://www.openpr.de/news/892029/AdaCore-stellt-neue-Versionen-der-Ada-Werkzeuge-QGen-und-GNAT-Pro-vor.html pm-834135 Tue, 13 Jan 2015 18:57:54 +0100 https://www.openpr.de/news/834135/Neues-Release-des-Muen-Kernels-fuer-Open-Source-Software-im-Hochsicherheitsbereich.html pm-824902 Wed, 05 Nov 2014 18:41:20 +0100 https://www.openpr.de/news/824902/Analyse-Tool-von-AdaCore-erhaelt-Qualifikationen-fuer-Software-Verifizierung-in-Luftfahrt-und-Bahn.html pm-779835 Wed, 26 Feb 2014 15:41:13 +0100 https://www.openpr.de/news/779835/AdaCores-Entwicklungsumgebung-GNAT-Pro-bietet-Unterstuetzung-von-ARM-Systemen-unter-Linux.html pm-779544 Tue, 25 Feb 2014 13:16:36 +0100 https://www.openpr.de/news/779544/Ada-Entwicklungsumgebung-GNAT-Pro-7-2-enthaelt-120-neue-Funktionen-und-Tools.html pm-771284 Thu, 16 Jan 2014 16:43:15 +0100 https://www.openpr.de/news/771284/AdaCore-praesentiert-auf-der-embedded-world-neue-Tools-fuer-die-Programmiersprache-Ada.html pm-731270 Wed, 03 Jul 2013 16:57:23 +0200 https://www.openpr.de/news/731270/AdaCore-stellt-Ada-fuer-Wind-River-Linux-bereit.html pm-716584 Tue, 30 Apr 2013 16:25:39 +0200 https://www.openpr.de/news/716584/Toyota-verwendet-SPARK-Pro-in-einem-Forschungsprojekt-fuer-Ultra-Low-Defect-Software.html pm-701017 Tue, 26 Feb 2013 15:04:18 +0100 https://www.openpr.de/news/701017/AdaCore-praesentiert-GNAT-Pro-Safety-Critical-fuer-ARM-Prozessoren.html pm-686044 Wed, 12 Dec 2012 14:06:28 +0100 https://www.openpr.de/news/686044/Luft-und-Raumfahrtkonzern-Terma-verwendet-ADA-Entwicklungsumgebung-im-Space-Monitor-Projekt.html pm-641957 Wed, 20 Jun 2012 10:33:13 +0200 https://www.openpr.de/news/641957/SmartSide-verwendet-Ada-und-GNAT-Pro-fuer-die-Programmierung-intelligenter-Energiezaehler.html pm-605500 Tue, 07 Feb 2012 17:56:23 +0100 https://www.openpr.de/news/605500/AdaCore-beteiligt-sich-an-Forschungsprojekten-Project-P-und-Hi-MoCo.html pm-603897 Wed, 01 Feb 2012 13:50:33 +0100 https://www.openpr.de/news/603897/AdaCore-reduziert-mit-GNATtest-den-Entwicklungsaufwand-in-grossen-Softwareprojekten.html pm-595211 Mon, 19 Dec 2011 14:45:33 +0100 https://www.openpr.de/news/595211/AdaCore-veroeffentlicht-Dokumente-zur-agilen-Software-Zertifikation-fuer-GNATcheck-und-GNATcoverage.html pm-591835 Fri, 02 Dec 2011 10:05:30 +0100 https://www.openpr.de/news/591835/AdaCore-beteiligt-sich-an-den-Forschungsprojekten-OPENCOSS-und-pSafecer.html pm-576064 Wed, 05 Oct 2011 14:22:15 +0200 https://www.openpr.de/news/576064/AdaCore-stellt-eine-neue-Version-des-GNAT-Programming-Studio-vor.html pm-550595 Thu, 30 Jun 2011 12:50:22 +0200 https://www.openpr.de/news/550595/Siemens-Switzerland-waehlt-AdaCore-Werkzeuge-fuer-Eisenbahnprojekt.html pm-534141 Tue, 03 May 2011 15:38:53 +0200 https://www.openpr.de/news/534141/Thales-nutzt-AdaCore-Werkzeuge-fuer-das-Argos-Satellitenprojekt.html