Найдено научных статей и публикаций: 2   
1.

Разработка программных средств детального пошагового контроля решения задач     

Садчиков С.м., Синицын С.в. - Научная сессия МИФИ-2006. Т.2 Технологии разработки программных систем. Информационные технологии , 2006
В работе рассматриваются компьютерные программы для обучения и контроля знаний, умений и навыков решать задачи. Предлагается математическое и программное обеспечения процедур анализа эффективности интерактивного решения задач. Эффективность оценивается c точки зрения необходимой детальности контроля и уменьшения размеров программного обеспечения.
2.

Преобразования графов алгоритмов для пошагового контроля решения задач     

Садчиков С.м. - Научная сессия МИФИ-2006. Т.2 Технологии разработки программных систем. Информационные технологии , 2006
В работе рассматриваются основные управляющие конструкции графов решения задач [1] и расчет числовых характеристик способов контроля, реализованных в компьютерных программах интерактивного решения задач.