Предисловие
к.ф.-м.н. Л. В. Городняя
Предлагаем читателям очередной сборник материалов, отражающих историю новосибирской школы программирования и информатики, дополняющих изложенную в 2001 году тематическую картину и связывающих ее с современностью. Сборник посвящен И. В. Поттосину, сделавшему значительный вклад как на страницах истории программирования, так и в развитие системного программирования как науки. Влияние личности Игоря Васильевича на молодые умы и становление программисткой профессиональной элиты неоценимо. И. В. Поттосин дал импульс проекту предоставления материалов по истории программирования широкой общественности и подал личный пример в освещении наиболее интересной пионерской эпохи отечественного программирования.
Настоящий сборник содержит статьи с общим анализом разнообразных явлений, сопутствовавших развитию научных исследований в программировании и проявляющихся на уровне управления наукой, оценки ее эффективности, сохранения ее результатов и передачи их следующим поколениям. Представлена информация об истории развития средств и методов верификации программ и различных характеристик процессов, а также комментарии по наиболее известным проектным решениям и методам разработки языков программирования с позиций сегодняшнего дня. Эти материалы естественно дополняют статьи о моделях жизненных циклов программ, динамике представления знаний и человеческом факторе в программировании, включая проблемы преподавания информатики в университетах.
Работа была поддержана грантом РГНФ № 00-03-00277.
Из сборника "Новосибирская школа программирования. Перекличка времен". Новосибирск, 2004 г.
Перепечатываются с разрешения редакции.