Разработка и анализ спецификаций программного обеспечения