Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms

V.G. Akulovskiy

Abstract


Within the framework of the expanded algebra of algorithms the approach to formalization of the data is offered. Properties of the formalized data and some aspects of decomposition of D-operators are considered.

Problems in programming 2009; 4: 3-10


References


Турский В. Методология программирования. – М.: Мир, 1981. – 264 с.

Ющенко Е.Л., Цейтлин Г.Е., Грицай В.П., Терзян Т.К. Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий. – М.: Финансы и статистика, 1989. – 208 с.

Глушков В.М. Теория автоматов и формальные преобразования микропрограмм // Кибернетика, 1965. – № 5. – С. 1 – 10.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – К.: Наук. думка, 1978. – 319 с.

Акуловский В.Г. Расширенная алгебра алгоритмов // Проблеми програмування. – 2007. – № 3. – С. 3 – 15.

Акуловский В.Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов // Кибернетика и системный анализ. – 2008. – № 6. – С. 170­ – 182.

Акуловский В.Г. Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных // Проблеми програмування. – 2008. – № 4. – С. 84 – 93.

Акуловский В.Г. Некоторые аспекты формализации архитектурного этапа разработки алгоритмов // Проблеми програмування. – 2009. – № 2. – С. 3 – 11.


Refbacks

  • There are currently no refbacks.