Software engineering (in particular, languages and techniques
for software specification, object-oriented technology, and integrated environments for software
production), time-constrained systems, formal methods, user-interface design, and visual languages