Основы проектирования и строительства программ

Abstract

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