Carstens Forschungsinteressen

• Eingebette und Echtzeit Systeme
• Verteilte Systemen
• Modelbasiertes Testen
• testgetriebene Entwicklung
• Timed Testing
• Test Prozesse
• Datenkommunikation
• Mobile Kommunikation
• Formale Methoden der Spezifikation und Verifikation
• Timed Automata
• Hybride Systeme
• Diskrete Simulation
• Konfigurations Management
• objekt orientierter Programmierung und Entwicklung
• graphische/GUI Programmierung (Java Swing, Qt, SVG, openGL, graphische Browser Engines)
• agile Entwicklung
• Programmierung mobiler Endgeräte (Android, iPhone, J2ME, OpenMoko)
• Design Patterns
• Programmier und Entwicklungs Umgebungen
• C++
• Java
• Skriptsprachen: Lua, Ruby, Javascript
• Datenbanken (mySQL, sqlite, active records)
• UML
• Client/Server,-Service-Oriented-Architectures,-webbasierte-Applikationen