Языки программирования и технологии «Оберон», перспективы для индустрии и образования. Материалы секции-семинара

✍ Scribed by Рюмшин Б.В.

• Book ID: 127460090
• Year: 2006
• Tongue: Russian
• Weight: 1 MB
• Category: Library
• City: М

✦ Synopsis

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