OberonCore

Я тоже приготовил свой докладец о нашей совместной с Иваном Денисовым работе, прошу заслушать: Blackbox с текстовыми исходниками и планы. В 15 минут уложился. Аннотацию см. в описании видео.

Я частично согласен с профессором, что когда мы пишем программу для тестирования другой программы, то упираемся в компетенцию людей, писавших анализаторы и юнит тесты. Статический анализ и тестирование не должны заменяют и компетенцию разработчика ПО. Однако, пресловутый человеческий фактор часто вмешивается в стройные размышления. Не так давно меня попросили "посмотреть" код на Си для одного медаппарата. И я сразу наткнулся на ошибку, которую не видели никто из разработчиков - в условии дважды было включено одно и тоже выражение и мне это показалось подозрительным. В итоге оказалось, что это ошибка, из-за которой формировалась не совсем правильное изображение с датчиков, что могло повлиять на диагноз, но к счастью прибор в такой модификации ещё не производился. А вот если бы они пропустили код через статический анализатор, эти ошибки были бы выявлены.
Это не отменяет компетенции разработчиков, и такое тестирование должно выполняться на конечном этапе разработки, когда продукт в целом отлажен, чтобы не было желания набить тонны кода и скормить анализатору - пусть проверяет а у меня норма набития перевыполнена и положен отдых на лазурном побережье.
В общем я уже говорил - тестирование, отладка должны быть неотъемлемой частью процесса разработки, но не заменять разработку и разработчика. Программист должен понимать, что делает каждая строчка его кода.

Денис, не успели заслушать, выбивались всегда из графика. Но тут твой доклад будет услышан!

Про русский( да и вообще любой другой разговорный ) язык в программировании полная туфта.
Всё намногг прощё и намного сложнее одновременно.
Если кратко - есть люди предпочитающие вербыльные формы и люди, предпочитающие невербальные формы.
Первые тяготеют к некой избыточности в грамматике языка программирования, к произносимым и легко понимаемым СЛОВАМ, другие тяготеют к коротким символам, несущий некий смысл.
Имено поэтому одним нравится( условно ) паскаль-стайл, где много слов, а другим Си-стайл, где слов поменьше, но больше разных символов.
Ну и в связи с этим, первая категория ( вербалисты ) вполне успешно может использовать или использует яп с ключевыми словами из естественных языков, напрямую отображающих семантику конструкций, а другая категория плюётся на ключевые слова и идентификаторы на русском языке.

Дагаев по этому поводу привёл пример: "Экспертным решением принято: отменить контроль переполнения в этом месте. Переполнения быть не может, потому что этого быть не может никогда".

Спасибо организаторам Илье, Евгению, Борису, Павлу за отличный прием и всем докладчикам!

Все еще проще. Мужчины тяготеют к словам (алгоритмы на автокоде), женщины к рисункам (блок-схемы).
Среди мужчин изображения предпочитают НЕ технари - художники там всякие, писатели и т.п.
Среди технарей-программистов, мыслящих картинками, а не алгоритмами на автокоде - исчезающе мало.

Хочу выразить благодарность участникам и организаторам. Все былдо СУПЕР!
Если кому что надо от меня - пишите на мыло, вышлю.

Текст на бумаге или мониторе - это изображение! Инженерия ("технарство" с самом своём классическом ядре) невозможна без схем (электроника), чертежей (здания, мосты, машины).

На автокоде - то есть языке ассемблера?

Мои три презентации с мероприятия:

Профессор Юрг Гуткнехт также просил опубликовать его презентацию:

Не могу с этим согласиться. Когда наблюдаю разделение, не вижу полового предпочтения. Да и в разных работах на данную тему гендерная предрасположенность в данном вопросе не подтверждена

а видео удалили что-ли?

Мы рады, что всем всё понравилось. Но для справедливости следует в этот список добавить ещё двух людей: Викторию Дорофееву (зав. каф. информатики физмата, организация всего действа внутри корпуса) и Олесю Гущину (без неё трансляция могла не состояться вообще).

Закрыли доступ. Перемонтируем всё без мусора и выложим. Всё будет скоро.

У нас подтверждена. Несколько раз проводили опрос студентов.
100% девочек предпочитают алгоритм в виде блок-схемы. Даже преподаватель, которая ведет в первом семестре алгоритмизацию.
Пацаны - почти 100% предпочитают алгоритмы на автокоде (как в книге Кормена). Отдельные товарищи говорят, что им пофиг- можно и блок-схемой.
Надо будет опять опросить 1-2 курс.

Используйте отечественный ИС Дракон.

За графической формой алгоритма я оставлю преимущество.
Закон жизни: лучше один раз увидеть, чем сто раз услышать.

Знаем. Даже писали курсовые и стыковали с Семантиком. Как обычно студент все бросил и ушел зарабатывать деньги.