В статье рассматривается вопрос о повышении надежности разработки программ и предлагается методика, приводящая, в конечном счете, к ускорению создания окончательного продукта программирования – больших программных комплексов. К известным технологиям …