УДК 519.683+519.688+519.71+519.1
© М. Ю. Чернышов, Н. В. Абасов, 2012
ОСНОВЫ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНОЛОГИИ, ПРЕДНАЗНАЧЕН-НОЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОГРАММНЫХ СИСТЕМ И ОСНОВАННОЙ НА ПРИНЦИПАХ ЛОГИКО-СМЫСЛОВОГО АНАЛИЗА
Чернышов М. Ю. – к.ф.н., зав. научно-методической частью e-mail: [email protected] (Президиум Иркутского научного центра СО РАН); Абасов Н. В. – к.т.н., ведущ. науч. сотрудник, e-mail: [email protected] (Институт систем энергетики им. Л. А. Мелентьева СО РАН)
Обсуждается проблема, связанная с отсутствием технологий быстрого создания программных продуктов, обеспечивающих высокую надёжность. Ставится вопрос о необходимости разработки технологии для исследования программ и программных систем в целях повторного использования их или их блоков. Анализируются проблемы, мешающие эффективному анализу готовых программ. Обсуждаются причины необходимости в единых принципах построения программ и подходы к созданию программ на базе таких принципов. Излагаются основы предлагаемой авторами технологии вычислительного моделирования, рассчитанной на эффективный анализ и преобразование программных систем.
Ключевые слова: технология быстрого создания программных продуктов, повторное использование программ и блоков программ, эффективный анализ программ, технология вычислительного моделирования.
Загрузить статью (321.4 Кб)
