Cтраница 4
Еще в далеком 1620 г. Френсис Бэкон подверг сомнению взгляды Аристотеля на научные теории как на не связанные друг с другом собрания афоризмов. В своем Новом органоне он ввел метод индукции, посредством которого многократно переходил от наблюдаемых явлений к выведенным иа основе наблюдений аксиомам, от аксиом снова шел к дальнейшим экспериментам, а от экспериментов - к новым аксиомам. С помощью этого метода он открыл общие для многих наук основополагающие принципы. В наши дни подход, аналогичный бэконовскому, применяют специалисты в области техники программного обеспечения. Они подвергли сомнению взгляды, согласно которым процесс создания программного обеспечения считается принципиально отличным от технологии производства любых других изделий. И хотя высказанные еще Бэконом сомнения относительно точности подобных абстрактных обобщений не оспариваются, опыт показывает, что общие принципы действительно существуют, а их соблюдение позволяет организовать производство програмных средств точно в установленные сроки, без превышения выделенного бюджета и в полном соответствии с техническими условиями. [46]