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.de是否要添加一些单词、短语或翻译？
请发送新条目。