: AdaCore hat ein Paket von Dokumenten für die Zertifizierung der Ada-
Entwicklungs¬werk¬zeuge GNATcheck und GNATcoverage vorgestellt.
Damit lässt sich der Zertifizierungsprozess vereinfachen, be ...
: AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und
Supportdiensten, beteiligt sich an den europäischen
Forschungsprojekten OPENCOSS und pSafecer. Beide unterstützen die
Kompon ...
Hanau: Damit ein Joghurt möglichst lange genießbar ist, müssen neben der Qualität des Joghurts bereits beim Abfüllprozess hohe hygienische Bedingungen erfüllt werden. Gerade für mikrobiologisch anspru ...