Введение в изучение методов обеспечения качества необходимо для понимания разработки сложного и надёжного программного обеспечения. Тем не менее, современная индустрия программного обеспечения требует скорейшего вывода продукта на рынок, а методы формальной спецификации и верификации программ не вызывают особого интереса у широкой массы будущих программистов. В данной статье автор предлагает организовать...

Работа посвящена эстонскому ученому в области информатики Энну Тыугу (1935–2020). В фокусе статьи два знаковых события в его биографии – это депортация в 1941 году и интерес к компьютерам. Тема представляется актуальной, поскольку в постсоветской (как и в СССР) среде исследования жизненных путей представителей депортированных народов были малочисленны; мы мало...

Работа посвящена исследованию проблем автоматизации создания онтологий научных предметных областей с применением методов автоматического анализа текстов на естественном языке. Целью работы является разработка методов автоматической генерации лексико-синтаксических шаблонов для извлечения информации и пополнения онтологий на основе анализа содержательных паттернов онтологического проектирования для научных областей знаний, разрабатываемых в рамках концепции Semantic...