Обсуждается на авторском курсе «Разработка и формализация требований для программного обеспечения».
Формализация требований рассматривается в книге.
Формализация
Формализация требований к программному обеспечению
 |
В книге описывается базовая техника логико-семантической формализации требований к программному обеспечению. |
