Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
formal program development
Traduction de "formal program development" en allemand
His research focuses on the basics and tools of formal program development, verification techniques, security modeling - in particular modeling and verification of cryptographic protocols and information flow -, interactive evidence generation, security analysis and certification.
Seine Forschungsschwerpunkte sind Grundlagen und Werkzeuge der formalen Programmentwicklung, Verifikationstechniken, Sicherheitsmodellierung, insbesondere Modellierung und Verifikation von kryptographischen Protokollen und Informationsfluss, interaktive Beweiserzeugung, Sicherheitsanalyse und Zertifizierung.
A concrete result of the application of this approach to functional programming is the interactive, prototypic transformation system Ultra, which offers a good basis for further studies in the context of formal program development.
Konkretes Ergebnis der Anwendung dieses Ansatzes auf die funktionale Programmierung ist das interaktive, prototypische Transformationssystem Ultra, das eine gute Basis für weitere Studien im Rahmen der formalen Programmentwicklung bietet.
A novel approach to avoiding overspecification of execution order in formal program development are the nondeterministic control abstractions that are described in my Habilitation thesis (2001).
In der Habilitationsschrift (2001) wird vorgeschlagen, bei der formalen Entwicklung von Programmen durch Verwendung nichtdeterministischer Kontrollabstraktionen die bei gängigen Kontrollstrukturen zu beobachtende Überspezifikation zu vermeiden.
From 1991 to 1994 Dieter Hutter worked at Saarland University as project manager of the VSE project, developing a tool for formal program development.
Von 1991 bis 1994 arbeitete Dieter Hutter an der Universität des Saarlandes als Projektleiter des VSE-Projekts, in der Entwicklung eines Werkzeuges zur formalen Programmentwicklung.
Autres résultats
Formal definition in program development... Pages 387-443
Firmenübernahme - Unterstützung im Gründungsprozess... Pages 387-414
You may even get a chance to participate in our formal professional development program.
Vielleicht erhalten Sie sogar die Chance, an unserem formellen beruflichen Weiterbildungsprogramm teilzunehmen.
Along with improving formal leadership development programs, CEOs want their organizations to provide more cross-functional rotational opportunities for high potentials.
Neben der Verbesserung formaler Programme zur Entwicklung der Führungskräfte möchten CEOs, dass ihre Unternehmen größere funktionsübergreifende Rotationsmöglichkeiten für High Potentials bieten.
Recently, in Germany a comprehensive national framework was developed to promote standards for formal faculty development programs across institutions.
Vor kurzem wurde ein Netzwerk gegründet, um die Fakultätsentwicklungsprogramme der deutschen Institutionen zu standardisieren.
This is true both 'on the job' as well as via the vast number of more formal development programs that I am able to take part in.
Das trifft sowohl auf den Arbeitsalltag sowie auf die vielen formellen Entwicklungsprogramme zu, an denen ich teilnehmen kann. Nirgendwo sonst habe ich ein derart großes Angebot erlebt.
The key activities include organizing training courses for individuals and companies, developing specialized non-formal training programs, development and implementation of lifelong learning projects.
Dazu werden Weiterbildungen für Einzelpersonen und Unternehmen organisiert, spezielle Weiterbildungsprogramme entwickelt und Projekte aus dem Förderprogramm für Lebenslanges Lernen entwickelt und durchgeführt.
We find this solution to be a particularly good fit for organizations large and small seeking an agile approach to complement formal employee development programs, said John Ambrose, Skillsoft Senior Vice President, Strategy and Corporate Development.
Unserer Meinung nach ist diese Lösung eine hervorragende Wahl für große und kleine Unternehmen, die sich einen flexiblen Ansatz zur Ergänzung von formalen Programmen zur Personalentwicklung wünschen .
Laura joined Sonova in 2016 for a one-year formal development program where she worked at Advanced Bionics, Connect Hearing, and Phonak.
Laura kam 2016 im Rahmen eines einjährigen Ausbildungsprogramms für Hochschulabsolventen zu Sonova. Seither hat sie für Fach Audiologie promoviert.
The top 10% of our manufacturing professionals get the chance to participate in our formal professional development program-a three-year rotation with tracks in leadership, supply chain management, manufacturing engineering, procurement and environmental health and safety.
Die oberen 10 % unserer Fertigungsfachleute erhalten die Chance, an unserem formellen beruflichen Weiterbildungsprogramm teilzunehmen - ein dreijähriges Rotationsprogramm mit Einblicken in Führung, Lieferkettenmanagement, Fertigungstechnik, Beschaffung sowie Umwelt, Gesundheit und Sicherheit.
Synonymes et analogies de "formal program development" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 464. Exacts: 4. Temps écoulé: 116 ms.
