Some aspects of formalization of an architectural development cycle of algorithms

V.G. Akulovskiy

Abstract


The approach to formalization of some aspects of an architectural development cycle of algorithms within the framework of which solve the tasks of representation of algorithm as connection of subsystems, specification of the data process able by subsystems, and the specification of information subsystems’ connections.

Problems in programming 2009; 2: 3-11


References


Соммервилл И. Инженерия программного обеспечения. – М.: Издательский дом "Вильямс", 2002. – 642 с.

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

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

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – К.: Академперіодика, 2007. – 634 с.

Цейтлин Г.Е., Бакулин А.В. Многоуровневые структурированные проекты программ и их обоснование // Кибернетика и системный анализ. – 1991. – № 5. – С. 98 – 107.

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

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

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


Refbacks

  • There are currently no refbacks.