Автоматизация формализации требований к программным проектам

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Котляров Всеволод Павлович Петров Алексей Викторович
Аннотация:

Рассмотрены проблемы формализации требований. Предложена методика автоматической формализации.