Описательные спецификации могут быть

  • алгебраическими
  • логическими
  • параллельными
  • последовательными

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.