Главная страница « Научно-исследовательский семинар « 2003 «

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

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

Приглашаются аспиранты и стажеры программистских кафедр.