OberonCore

С некоторым опозданием, вызванном объективными причинами, начинаем публикацию видеоматериалов второго дня конференции «Оберон-технологии, образование и проблема качества в цифровой индустрии».

Отдельное огромное спасибо Ивану Денисову за монтаж!!!

Страница с материалами: https://oberoncore.ru/oberonconf/2018

Ссылки на доклады пойдут ниже, по мере обработки.

Первый доклад:

Ада в современной программной индустрии,
Рыбин Сергей Игоревич, к.ф.-м.н., консультант компании AdaCore

https://youtu.be/vnpjtUYSads

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

Из-за санкций она уже может быть малоперспективна - Скорее всего, эти санкции будут действовать долго, в обозримом будущем при жизни поколения программистов. А предложение делать всё самому в докладе - неподъёмная задача. Да и поддержка с российской стороны слишком дорогая - тоже неперспективно.

Что-то взять из Ады для Оберона было бы интересно. - По крайней мере, жесткий подход иметь только один диалект языка. Ещё очень интересны встроенные возможности по поводу проверки кода.

Один мало известный метод верификации распределенных программ,
Сабирзянов Рифат Ринатович, старший инженер-программист ООО «ДжиДиСи Сервисез», Казань

https://youtu.be/M0uvLtP7Gjg

Мониторинг качества объектно-ориентированного программного обеспечения на этапе проектирования,
Лаптев Валерий Викторович, к. т. н., доц., каф. «Автоматизированные системы обработки информации и управления», Астраханский государственный технический университет, Астрахань

https://youtu.be/7LxB9L8UM6k

Semantic IDE. Интерактивный самоучитель по программированию,
Лаптев Валерий Викторович, к. т. н., доц., каф. «Автоматизированные системы обработки информации и управления», Астраханский государственный технический университет, Астрахань

https://youtu.be/M2o2wARHtcM

Проблема подготовки качественных программистов
Лукин Владимир Николаевич, к.ф.-м.н., доцент МАИ, Москва

https://youtu.be/AUxrirxO-hE

Ничё докладец, близкий сердцу, с удовлетворением проверил себя, где applicable.

Собственно, мы тому и учим, чего Владимир Николаевич перечислил...
Кстати, в лабах у нас обязательное требование: создать набор тестовых данных и на них протестировать программу.
Я читаю ВСЕ коды у всех СТУДЕНТОВ и по поводу этого набора обязательно выдаю комментарии, чего не хватает и почему.
Обработку ошибок надо ПРОЕКТИРОВАТЬ - это я студентам и рассказываю, и показываю.

Восемь смертных грехов профессиональных программистов
Дагаев Дмитрий Викторович, главный эксперт, АО «РАСУ», Росатом, Москва

https://youtu.be/5govjItgS3o

Инструменты семейства Оберон (языки, среды, фреймворки)
Ермаков Илья Евгеньевич, Ermakov Systima, Кластер информационных технологий Орловской области, Орёл

https://youtu.be/0IT3MJ5F2DM