В рамках разработанной на основании методологии MDD общей модели интеллектуальной системы автоматизированного проектирования программного обеспечения (ПО) предложено формальное описание следующих методов, позволяющих получить ее окончательную реализацию: метод подбора уточняющих компонент модели ПО на основании их семантических аннотаций; метод проверки выполнимости ограничивающих спецификаций моделей ПО, а также контроля соответствия реализации ПО его спецификации; метод обучения системы проектирования.

  Повний текст PDF - 370.201 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"