теория алгоритмов, программная инженерия, формальные нотации, тестирование, верификация