AdaCore übernimmt Sofcheck
Gründer von SofCheck ist Tucker Taft, Chefentwickler von Ada 95 und Contributor bei den Revisionen Ada 2005 und 2012, Er wird fortan Director of Language Research bei AdaCore, einem Hersteller von Entwicklungswerkzeugen rund um Ada.
- Alexander Neumann
Der Softwarehersteller AdaCore hat mit SofCheck ein in Massachusetts ansässiges Unternehmen übernommen, dessen Gründer Tucker Taft als Chefentwickler für Ada 95 verantwortlich zeichnete und bei den Revisionen Ada 2005 und 2012 mitgewirkt hat. Tucker nimmt bei AdaCore, selbst ein Hersteller von Entwicklungswerkzeugen und Dienstleistungen rund um Ada, fortan den Posten des Director of Language Research ein.
Mit der Übernahme erhält AdaCore auch die Sofcheck-Produkte, darunter Werkzeuge für statische Codeanalyse, das AdaMagic-Compiler-Frontend und ParaSail, eine neue Programmiersprache und Spezifikation für hochverfügbare Anwendungen auf Multi-Core-Plattformen. Auch das Entwicklerteam von SofCheck will AdaCore weiterbeschäftigen. (ane)
