Two-Way-Compiler
Beitrag zur Modellierung, Implementierung und Bewertung eines Konzepts zur Übersetzung und Validierung sicherheitsgerichteter Software
Dennis Obermann
Ziel dieser Arbeit ist die Entwicklung eines gesamtheitlichen Ansatzes, der die Phasen der Übersetzung eines Quellcodes zum binär kodierten Programm und die Phasen zum Wiederherstellen des ursprünglichen Quellcodes aus dem binär kodierten Programm ermöglicht.