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