tedesco » inglese

Traduzioni di „Programmkonzeption“ nel dizionario tedesco » inglese (Vai a inglese » tedesco)

Esempi dal web (non verificati dalla Redazione di PONS)

umfasst im wesentlichen die folgenden Problemfelder :

Die Vermeidung logischer Fehler bei Programmkonzeption und -realisierung:

dazu werden logisch rigorose Formalismen zur Darstellung, Analyse und Lösung komplexer Probleme eingesetzt.

www11.informatik.uni-erlangen.de

essentially includes the following aspects :

Prevention of logical faults during software design and implementation:

for this purpose rigorous logic formalisms are applied allowing to represent, analyze and solve complex problems.

www11.informatik.uni-erlangen.de

umfasst im wesentlichen die folgenden Problemfelder :

Die Vermeidung logischer Fehler bei Programmkonzeption und -realisierung: dazu werden logisch rigorose Formalismen zur Darstellung, Analyse und Lösung komplexer Probleme eingesetzt.

Mit Hilfe konstruktiver, analytischer und redundanter Maßnahmen soll fehlerfreie bzw. fehlertolerierende Software erstellt werden.

www11.informatik.uni-erlangen.de

essentially includes the following aspects :

Prevention of logical faults during software design and implementation: for this purpose rigorous logic formalisms are applied allowing to represent, analyze and solve complex problems.

Fault-free or fault-tolerant software has to be systematically designed by means of rigorous constructive, analytical and redundant measures.

www11.informatik.uni-erlangen.de

Forschungsschwerpunkte

Der Forschungsschwerpunkt "Erstellung und Qualitätsnachweis zuverlässiger komplexer Software" umfasst die Vermeidung logischer Fehler bei Programmkonzeption und -realisierung sowie die Bewertung der erzielten Softwarezuverlässigkeit.

www11.informatik.uni-erlangen.de

Focus of research

The main research area "Development and Assessment of Highly Reliable Complex Software Systems" covers the avoidance and detection of logical faults during program specification, design and implementation, as well as the evaluation of reliability achieved by the end product.

www11.informatik.uni-erlangen.de

Vuoi aggiungere una parola, una frase o una traduzione?

Inserisci una nuova voce.

Pagina in Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文