1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 6(73)'2008
  5. Интеллектуальные методы поддержки автоматизированной разработки программного обеспечения

Интеллектуальные методы поддержки автоматизированной разработки программного обеспечения

Г.Ф. Дюбко, Е.Л. Лещинская
Системи обробки інформації. — 2008. — № 6(73). – С. 44-49.
УДК 004.4'22:004.8
Мова статті: російська
Анотації на мовах:

В рамках разработанной на основе методологии MDD общей модели интеллектуальной системы автоматизированного проектирования ПО предложено формальное описание следующих методов, позволяющих получить её окончательную реализацию: метод подбора уточняющих компонент модели ПО на основе их семантических аннотаций; метод проверки выполнимости ограничивающих спецификаций моделей ПО, а также контроля соответствия реализации ПО его спецификации; метод обучения системы проектирования.
Ключові слова: MDD, автоматизация программирования, семантическая аннотация, верификация, обучение
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Дюбко Г.Ф. Интеллектуальные методы поддержки автоматизированной разработки программного обеспечения / Г.Ф. Дюбко, Е.Л. Лещинская  // Системи обробки інформації. – 2008. – № 6(73). – С. 44-49.