AdaCore mit jährlichem großen Produkt-Update
#ADA #AdaCore #CodePeer #GNATPro #QGen #SPARKPro

Das AdaCore-V19-Produktrelease erweitert die Plattformabdeckung und bringt Leistungssteigerungen sowie Funktionsverbesserungen mit sich.

Teilen 👉 @DerNewsBot hdev28

Programmiersprache Ada: Die GNAT Community Edition 2019 ist da
#ADA #AdaCore #GNAT #Spark

Die SPARK-Programmiersprache unterstützt nun Pointer, außerdem ist nun die Language Tooling Library Libadalang eingebunden.

Teilen 👉 @DerNewsBot hdev545

AdaCore unterstützt jetzt Embedded-Umgebungen mit C++
#ADA #AdaCore #C #EmbeddedSystems

Umgesetzt ist die Unterstützung im neuen Tool GNAT Pro C++, das Bestandteil von GNAT Pro Enterprise und GNAT Pro Assurance ist․

​​​​​AdaCore schnappt sich Dresdner Cybersecurity-Experten
#AdaCore #Componolist #Cybersecurity #Sicherheit #Softwareentwicklung #Verifikation

AdaCore kauft Componolit․ Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert․