Аннотация доклада.

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

В докладе будет введен и рассмотрен класс объектов, которые наиболее удобны для осмысления человеком и автоматизированного преобразования компьютером, но, тем не менее, все еще легко превращаемых в программы. Такой класс объектов естественно называть пропрограммами (прообразами программ). Вычислительные устройства в рамках предлагаемого подхода рассматриваются как управляемые динамические системы со свойствами, позволяющими обеспечить корректность результата при организации параллельных вычислениях.

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