Der „Lehrstuhl Programmierparadigmen" (Professor Snelting) befasst sich mit Compilerbau, Programmanalyse, Software-Sicherheitsprüfung und entwickelte JOANA, das z. Zt. einzige Werkzeug zur Information FLow Control, das volles Java mit Threads präzise behandeln kann.
The chair for "Programming Paradigms" (Professor Snelting) deals with compiler construction, program analysis, software security testing and verification and has developed JOANA, the currently only tool for information flow control that is able to precisely treat full Java with threads.
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann.
Sie müssen den vollen Java JDK herunterladen und installieren es auf dem Linux-Rechner.
You need to download the the full Java JDK and install it on the linux machine.
Alle Pakete bieten volle Java-Unterstützung, die Ihnen mehr Flexibilität bei der Art von Webseiten und Apps gibt, die Sie ausführen können.
Their unmanaged super cheap VPS offer full support of the Java platform, which gives you greater flexibility for the types of sites and apps you can run.
Die neue Version bringt volle Java 8 Kompatibilität, neue Druck-Unterstützung und verbesserten Bildexport.
This new version brings full Java 8 support, new printing support and improved image export.
Es wird der voll qualifizierter Java Klassenname des Konverters angegeben.
Or a full qualified Java class name for the converter is specified.
Die Website bleibt auch mit deaktivierten Cookies und ohne Java-Script voll benutzbar.
The website remains fully usable also with deactivated cookies and without java script.
Das Internet ist voll von Java-basierten Programmen.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
