AdaCore übernimmt Sofcheck

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)