Multivariance of the notations of representation of algorithms of operation of software as path to their verification

V.A. Alekseev, V.S. Tereshchenko

Abstract


The various variants of the notations of representation of algorithms of the application tasks in information systems are considered, that enables before their program implementation to lead(carry out) verification of the accepted solutions on their construction, using for this purpose various tools, inherent by each of these notations.

Problems in programming 2009; 4: 33-48


References


Каныгин Ю.М., Калитич Г.И. "Основы теоретической информатики". – Киев: Наук. думка, 1990. – 232 с.

Закон України "Про Національну програму інформатизації" від 4.02.1998, № 74/98-ВР (із змінами, внесеними згідно із Законом від 13.09.2001, № 2684-III).

ДСТУ 2938-94. Системи оброблення інформації. Основні поняття. Терміни та визначення. Держстандарт України.

Бабенко Л.П., Лавріщева К.М. Основи програмної інженерії: Навч. посіб. – К.: Т-во "Знання", КОО, 2001. – 209 с.

Software Engineering: a European Respective. IEEE Computer Society Press, Los Almitos, California. – Washington, Brussels, Tokyo, 1993. – 682 р.

ДСТУ 2941-94. Системи оброблення інформації. Розроблення систем. Терміни та визначення. Держстандарт України.

ДСТУ 3918-99 (ISO/IEC 12207:1995) Інформаційні технології. Процеси життєвого циклу програмного забезпечення. Держстандарт України.

Лавріщева К.М. Програмна інженерія. – К., 2008. – 319 с.

Андон Ф.И., Лаврищева Е.М., Суслов В.Ю. и др. Основы инженерии качества программных систем. – 2-е изд., перераб. и доп. – Киев: Академпериодика, 2007. – 672 с.

Вендров А.М. Проектирование программного обеспечения экономических инфор-мационных систем: Учебник. – М.: Финан-сы и статистика, 2000. – 352 с.

Колдовский В. Разработка ПО: оценка ре-ультата. http://itc.ua/node/25631.

Глушков В.М. Основы безбумажной инфор-атики. – М.: Наука. Гл. ред. Физ.-мат. лит., 1987. – 552 с.

Алфёрова З.В. Теория алгоритмов. – М.: Издательство "Статистика", 1973. – 164 с.

Советский энциклопедический словарь. – М.: Советская энциклопедия,1989. – 1632 с.

ДСТУ 2226-93. Автоматизовані системи. Терміни та визначення. Держстандарт України.

ГОСТ 19.701-90 Единая система программной документации. Схемы алгоритмов и программ.

Башлыков А.А. Проектирование систем принятия решений в энергетике. – М.: Энергоатомиздат, 1986. – 120 с.

Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). – М.: Лори, 1996. – 327 с.

Энциклопедия кибернетики / В 2-х томах. – Киев: Главная редакция Украинской советской энциклопедии АН УССР, 1974. – 1232 с.


Refbacks

  • There are currently no refbacks.