Wir stellen Ihnen ein Plugin zur automatischen Integration von Astrée in Eclipse kostenlos zur Verfügung.
Die Eclipse-Integration wird von Astrée unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können Astrée 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.
