Examples with "ADA-Programmierung" and their translation in Engels
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.
Einführung in die ADA-Programmierung, vollständiger Einführungskurs
In den 1980ern beschloss das US-Verteidigungsministerium, dass alle von ihm in Auftrag gegebenen Programmierungen in Ada durchzuführen seien, aber unglücklicherweise mangelte es an geeigneten Compilern und Entwicklungswerkzeugen, und die Sprache erlangte nie große Popularität.
At one time in the 1980s, the U.S. Department of Defense decreed that all programming by its contractors must be done using Ada, but unfortunately there was a dearth of suitable compilers and software development tools, and the language never achieved popularity.
SPARK Pro 16 bietet eine verbesserte Abdeckung der Sprachfunktionen von SPARK 2014 und unterstützt nun auch das Ravenscar-Tasking-Profil; dadurch werden die Vorteile formaler Verifikationsmethoden auf ein sicheres Subset der nebenläufigen Programmierung von Ada 2012 erweitert.
SPARK Pro 16 provides enhanced coverage of SPARK 2014 language features and now supports the Ravenscar tasking profile, thus extending the benefits of formal verification methods to a safe subset of Ada 2012 concurrent programming features.
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.
