Запропоновано підхід до автоматизованого розроблення програм, що ґрунтується на використанні засобів онтологій та алгеброалгоритмічного інструментарію проектування і синтезу програм. Застосування підходу проілюстровано на ...