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

Інтелектуальні методи підтримки автоматизованої розробки програного забезпечення

Г.Ф. Дюбко, О.Л. Лещинська
Анотації на мовах:

Розглядаються метод підбору уточнюючих компонент на основі семантичних анотацій та правил переваги, метод статичної верифікації формальних специфікацій, метод верифікації реалізації на відповідність специфікації, метод навчання системи проектування.
Ключові слова: MDD, автоматизація програмування, семантична анотація, верифікація, навчання