Структурное кодирование, критерии качества программных средств
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
?, если она при всех входных данных обеспечивает полную повторяемость результатов.
Программа является универсальной, если она правильно работает при любых допустимых вариантах исходных данных. В ходе разработки программ предусматриваются специальные средства защиты от ввода неправильных данных, обеспечивающие целостность системы.
Список литературы
1.Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции в 2 тт., том 1., М., Мир, 1978.
2.Гринфилд Д., Шорт К., Кук С. Фабрики разработки программ (Software Factories): потоковая сборка типовых приложений, моделирование, структуры и инструменты. - М.: Диалектика, 2006. - С. 592.
.Дейкстра Э. Заметки по структурному программированию.- М.:Дрофа, 2006, - 455 с.
.Ершов А.П. Введение в теоретическое программирование.- М.:РОСТО, 2008, - 288 с.
.Захарова И.Г. Информационные технологии в образовании: Учеб. пособие для студ. высш. пед. учеб. заведений. - М.: Издательский центр Академия, 2003. - 192 с.
.Кнут Д. Искусство программирования для ЭВМ, т.1. М.: 2006, 735 с.
.Коган Д.И., Бабкина Т.С. Основы теории конечных автоматов и регулярных языков. Учебное пособие Издательство ННГУ, 2002. - 97 с.
.Майерс Г. Надежность программного обеспечения.- М.: Дрофа, 2008, - 360 с.
.Мендельсон Э. Введение в математическую логику, М.: Инси, 2001, - 320 с.
.Рудаков А. В. Технология разработки программных продуктов. М.: Издательский центр "Академия", 2006. - 306 с.
.Свешникова Е.Ю. Анализ режимов детерминированного хаоса в переходных процессах электроэнергетических систем. М.: Издательство Агат, 2008. - 181 с.
.Соммервилл И. Инженерия программного обеспечения.- 6-е изд. - М.: Вильямс, 2002. - С. 642.
.Тыугу, Э.Х. Концептуальное программирование. - М., 2001 - 256 с.
.Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений - М.: Издательство ВИЛЬЯМС, 2002. - 527 с.
.Хьюз Дж., Мичтом Дж. Структурный подход к программированию. - М.: Мир, 2000, - 278 с.