Языки спецификаций задач, ориентированные на пользователя

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