методы формализации, спецификации, тестирования телекоммуникационные систем; автоматизация индустриальных технологий разработки программного продукта
