Подписной индекс 10933 по каталогу российской прессы «Почта России»
Основан в июле 2005 г. Выходит четыре раза в год
Тихоокеанский государственный университет На главную Вестник ТОГУ

УДК 519.683+519.688+519.71+519.1

© М. Ю. Чернышов, Н. В. Абасов, 2012

ОСНОВЫ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНОЛОГИИ, ПРЕДНАЗНАЧЕН-НОЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОГРАММНЫХ СИСТЕМ И ОСНОВАННОЙ НА ПРИНЦИПАХ ЛОГИКО-СМЫСЛОВОГО АНАЛИЗА

Чернышов М. Ю. – к.ф.н., зав. научно-методической частью e-mail: Michael_Yu_Chernyshov@mail.ru (Президиум Иркутского научного центра СО РАН); Абасов Н. В. – к.т.н., ведущ. науч. сотрудник, e-mail: cell@sifibr.irk.ru (Институт систем энергетики им. Л. А. Мелентьева СО РАН)

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

Ключевые слова: технология быстрого создания программных продуктов, повторное использование программ и блоков программ, эффективный анализ программ, технология вычислительного моделирования.

Загрузить Загрузить статью (321.4 Кб)

Содержание Содержание