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.deessentially 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.deumfasst 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.deessentially 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.deForschungsschwerpunkte
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.deFocus 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.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.