GNAT Programming Studio 6.0 unterstützt SPARK 2014
AdaCore hat die Version 6.0 der Entwicklungsumgebung GNAT Programming Studio (GPS) veröffentlicht. Laut dem Hersteller handelt es sich um ein wichtiges Upgrade mit deutlich überarbeiteter Benutzeroberfläche, das die Bearbeitung …
AdaCore hat die Version 6.0 der Entwicklungsumgebung GNAT Programming Studio (GPS) veröffentlicht. Laut dem Hersteller handelt es sich um ein wichtiges Upgrade mit deutlich überarbeiteter Benutzeroberfläche, das die Bearbeitung …