Examples with "Testen von Computerprogrammen" 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.
Verfahren und Anordnung zum Testen von Computerprogrammen basierend auf instabilen Zuständen der Programmausführung
Method and system for testing software program based upon states of program execution instability
Er hat sich insbesonders mit Model Checking für Software und Hardware beschäftigt, mit Abstraktionstechniken, mit parametrischen Fragestellungen im Model Checking, mit Analyse und Testen von Computerprogrammen, und mit Temporallogik in diesem Kontext.
He worked in particular on model checking for software and hardware, on abstraction tools, parametric questions in model checking, analysis and testing of computer programs, and in this context also on temporal logic.
System und Verfahren zum Testen von Computerprogrammen
Die Erfindung betrifft ein Verfahren zum Testen eines Computerprogramms nach der Änderung einer ersten Version des Computerprogramms in eine zweite Version des Computerprogramms aufgrund einer Revision des Computerprogramms.
Die Erfindung betrifft darüber hinaus einen Kit zur in-vitro Diagnostik zur Bestimmung von Antikörpern gegen nukleare und zytoplasmatische Antigene in Humanen Seren mittels indirekten Immunfluoreszenz Test und ein Computerprogramm zur Auswertung und zur Bestimmung des Endtiters im Rahmen des genannten Verfahrens.
The invention further relates to a kit for in vitro diagnosis for determining antibodies against nuclear and cytoplasmic antigens in human sera by means of an indirect immunofluorescence assay and a computer program for evaluation and for determination of the end titre within the framework of said method.
[Ein Computerprogramm zum Testen und Analysieren von Zufallsgenerierungsverhalten in normalen und klinischen Stichproben: Der Mittenecker-Zeigeversuch (MZV)]
A computer program for testing and analyzing random generation behavior in normal and clinical samples: The Mittenecker Pointing Test.
Ixquick und CAPTCHAs CAPTCHA (Abkürzung für Completely Automated Public Turing test to tell Computers and Humans Apart) ist ein Test, um Computerprogramme, die Zugriff auf StartPage erhalten wollen, und menschliche Nutzer voneinander zu unterscheiden.
A CAPTCHA ("Completely Automated Public Turing test to tell Computers and Humans Apart") is a test used to tell the difference between computer programs that attempt to access StartPage and legitimate human users.
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.
