Стоит отметить и некоторые примеры успешного использования ПО
"общего назначения" для организации учебных курсов. Например, А. В. Хорошилов из ИСП РАН представил практикум
по аналитической верификации программного обеспечения. Студенты учатся использовать инструменты, которые позволяют по
тексту программы и ее формальным спецификациям строго доказать, что результат работы программы будет всегда правильным.
В частности, в курсе использовалось семейство свободных инструментов верификации Why и система автоматизированного
доказательства математических теорем PVS. Проверить таким образом весь код, скажем, ядра Linux совсем не просто (на
верификацию нескольких десятков строк кода уходят недели, если не месяцы), но в критически важных областях подобные
технологии иногда применяются, и навыки, полученные в ходе такого курса, весьма полезны.
Еще один пример:
разработка курса по анализу данных, в котором для практических занятий использовалась система Weka. Авторы подчеркивают,
что подобный курс считается сложным и требующим серьезных начальных знаний, а им приходилось ориентироваться на
студентов с не слишком хорошей базовой математической подготовкой. Однако возможность "поиграться" с уже
готовыми базовыми алгоритмами на практике, а затем использовать их для создания собственных, более сложных программ, не
отвлекаясь на технические подробности, позволила быстро подготовить курс и сделать его понятным для студентов.
Оргвопросы и оргответы
В контексте миграции на свободное ПО целых образовательных (и не
только) организаций стоит отметить usability-исследование, проведенное А. М. Дербенем из Сибирского государственного
аэрокосмического университета. В ходе анализа практики работы в разных графических окружениях стало ясно, что на
удобство и эффективность работы сильно влияют такие, казалось бы, мелочи, как цвета элементов интерфейса или наличие
привычных иконок для разного типа документов. Многие действия с компьютером совершаются пользователями на уровне
рефлексов - поэтому, например, изменение оформления кнопки "закрыть окно" с привычного "красного
крестика" может привести к существенному замедлению работы (люди просто "промахиваются" мимо этой кнопки,
поскольку не смотрят на нее в момент клика, ориентируясь только на боковое зрение). В результате время на освоение новой
системы, интерфейс которой максимально приближен к привычному варианту, уменьшается с 30–40 до 1–3 дней. В то же время
прямое копирование графических элементов оформления из проприетарных ОС может привести к нарушению авторских прав
разработчиков, так что встает вопрос о создании идентичных по своему эффекту, но при этом независимых с точки зрения
авторского права тем оформления.