Конкурс за финансиране на научни изследвания в приоритетни области-2014г.
Основна цел на проекта е да се проектира инструментална среда, която да подпомага софтуерните компании и техните клиенти да постигат бърза разработка, гъвкавост и възможности за многократна употреба на техните софтуерни продукти. Инструменталната среда трябва да позволява автоматизирането на специфициране, генериране, верифициране и оценка на бързодействието на бизнес процеси.