Методы и инструменты конструирования программ

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Новосибирск: Институт систем информатики имени А. П. Ершова СО РАН, 2007. — 235 с.
Является пятнадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Предисловие редактора.
Содержание:
Арапбаев Р.Н. Экспериментальное исследование новой стратегии тестирования.
Евстигнеев В.А., Турсунбай кызы Ы. Динамический распределенный ПН-алгоритм для раскраски w-совершенных графов.
Идрисов Р.И. Временная развёртка внутреннего представления IR2 языка Sisal.
Идрисов Р.И. Методы межпроцедурного анализа.
Касьянов В.Н., Стасенко А.П. Язык программирования Sisal.
Крайниковский С.С. Вейвлет-обработка данных в геофизических исследованиях скважин.
Крайниковский С.С. Разработка графических интерфейсов и визуализация данных в геофизических программных системах.
Марчук П.А. Использование неспецифических онтологий для хранения фактографических данных.
Несговорова Г.П. Организация историко-культурного пространства в Интернете с использованием информационных технологий.
Пыжов К.А. Внутренние представления среднего уровня для компиляторов языка Sisal.
Стасенко А.П. Автоматная модель визуального описания синтаксического разбора.
Филябин С.В. Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций.
Шпак М.В. О некоторых методах моделирования аппаратуры электромагнитного каротажа.

Author(s): Касьянов В.Н. (ред.)

Language: Russian
Commentary: 1188859
Tags: Информатика и вычислительная техника;Информатика (программирование)