We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
software
ESA benutzte unser Tool zur Laufzeitfehleranalyse, um die Andocksoftware des Weltraumfrachters „Jules Verne" zu untersuchen und für die Sicherheit der ersten vollautomatische Andockung an die Internationale Raumstation ISS zu garantieren.
In 2008, Astrée proved the absence of any runtime errors in a C version of the automatic docking software of the Jules Verne Automated Transfer Vehicle (ATV), enabling ESA to transport payloads to the International Space Station.
Anfang 2008 verifizierte Astrée die Abwesenheit von Laufzeitfehlern in der C-Version der Andocksoftware des Weltraumfrachters „Jules Verne", des ersten automatischen Transferfahrzeugs der ESA. Die Analyse erfolgte vollautomatisch.
In 2008, Astrée proved the absence of any runtime errors in a C version of the automatic docking software of the Jules Verne Automated Transfer Vehicle (ATV), enabling ESA to transport payloads to the International Space Station.
Es wurden Probleme beim Andocken bestimmter Schiffe der Größe M (insbesondere Bohrer) ohne Andocksoftware behoben.
[Beta 2] Fixed problems docking certain M-sized ships (especially Drill) without docking software.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
