Методы и средства инженерии программного обеспечения


Алгоритмика программ


На протяжении многих лет Цейтлин Г.Е. занимается разработкой  теоретических аспектов алгоритмов, представляемых блок–схемами, как способа детализации и

реализации алгоритмов. Аппарат блок–схем пополнен математическими формулами, свойственными математике, которые используются при аналитических преобразованиях и обеспечивают  улучшение качества алгоритмов [40–42]. 

Построение и исследование алгебры алгоритмов впервые осуществил В.М. Глушков в рамках проектирования логических структур ЭВМ.  В результате была построена теория систем алгоритмических алгебр  (САА), которая затем была положена в основу обобщенной  теории  структурированных  схем алгоритмов и программ, называемой теперь алгоритмикой [41].

Объектами алгоритмики являются  модели алгоритмов и программ, представляемые в виде схем. Метод алгоритмики базируется на компьютерной алгебре и логике и  используется  для проектирования  алгоритмов прикладных задач. Построенные алгоритмы описываются с помощью ЯП и реализуются соответствующими системами программирования в   машинное представление.

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

 

Алгебра алгоритмов.  Под алгеброй алгоритмов АА= {A, W} понимается  основа А  и сигнатура W операций над элементами основы алгебры. С помощью операции сигнатуры  может быть получен произвольный элемент q Î AА, который называется системой образующих алгебры. Если из этой системы не может быть исключен ни один элемент  без нарушения ее свойств,  то такая система образующих  называется  базисом алгебры. 

Операции алгебры удовлетворяют следующим аксиоматическим законам:           ассоциативности,  коммутативности,  идемпотентности,  закону исключения третьего, противоречия и др.


- Начало -  - Назад -  - Вперед -