Intelligent supporting methods for automated software engineering

В рамках разработанной на основе методологии MDD общей модели интеллектуальной системы автоматизированного проектирования ПО предложено формальное описание следующих методов, позволяющих получить её окончательную реализацию: метод подбора уточняющих компонент модели ПО на основе их семантических аннотаций; метод проверки выполнимости ограничивающих спецификаций моделей ПО, а также контроля соответствия реализации ПО его спецификации; метод обучения системы проектирования.Розглядаються метод підбору уточнюючих компонент на основі семантичних анотацій та правил переваги, метод статичної верифікації формальних специфікацій, метод верифікації реалізації на відповідність специфікації, метод навчання системи проектування.Search method for refined components matching according to semantic annotations, method to determine formal specification satisfiability, to check realization to formal specification conformance, method of intelligent system learning are introduced