Читать реферат по всему другому: "Философские аспекты применения формальных методов в проектировании кибернетических систем" Страница 1

(Назад) (Cкачать работу)

Философские аспекты применения формальных методов в проектировании кибернетических систем.

Философские аспекты применения формальных методов в проектировании кибернетических систем. 1 Содержание 2 Введение 3 Философские аспекты моделирования как метода познания окружающего мира. 6 Гносеологическая специфика модели и ее определение. 6 Классификация моделей и виды моделирования. 8 Основные функции моделей. 9 Моделирование как средство экспериментального исследования. 9Моделирование и проблема истины. 11 Имитационное моделирование 12 Кибернетическом моделирование 12 Понятия "философия техники", "техника", "проектирование". 13 Инженерное проектирование 14 Системное проектирование. 16Этапы разработки системы. 16Фазы и операции системного проектирования. 17Кооперация работ и специалистов в системотехнике 20 Заключение 20

С середины прошлого века кибернетические системы совершили огромный скачек в развитии от примитивных калькулятор и роботов до совершенных механизмов, разработка которых требует усилий многих специалистов. Это привело к появлению новой науки, которую можно назвать, по аналогии с английским термином software engineering, программной инженерией. Как и любая наука, программная инженерия имеет свою уникальную специфику, которую полезно осмыслить с точки зрения философии.

Задачи программной инженерии условно можно разделить на две большие группы – реверс или обратная инженерия и форвард инженерия (reverse- and forward- engineering). Разные исследователи и практические разработчики программного обеспечения (ПО) уделяют этим группам разную долю внимания, однако сейчас уже ни одна промышленная разработка не может игнорировать проблемы каждой из этих групп. Форвард-инженерия необходима для того, чтобы поддерживать поступательное развитие ПО, реверс-инженерия необходима для поддержки преемственности функциональности и таких характеристик как надежность, управляемость, открытость к изменениям и др. В контексте индустриальной разработки и развития ПО важно объединение методов и технологий анализа и создания ПО. При недооценке важности такого объединения легко оказаться в ситуации, когда одни фазы жизненного цикла ПО получают гипертрофированно развитые средства поддержки, что, в частности, приводит к росту объемов ПО, а другие фазы, не имея адекватной поддержки, встречаются с непреодолимыми трудностями. Очевидным примером здесь служит развитие языков программирования, в частности, объектно-ориентированных (ОО) языков и соответствующих компиляторов и интегрированных средств поддержки. Это привело к появлению чрезвычайно громоздких программных комплексов, поддержка, изучение и модификация которых становятся невозможным без специальных методов и инструментов. В этой работе я рассмотрю только один, но, пожалуй, очень важный аспект – применение формальных методов.

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

Похожие работы