Close
Постраничный просмотр для данной книги Вам недоступен.
Книга доступна по подписке. Для получения доступа к этому изданию обратитесь, пожалуйста, в библиотеку Вашей организации.
Выберите действие
  • Добавить в избранное
  • Описание в RusMarc

Список литературы

1. Абрамов С.А. Математические построения и программирование. – М.: Наука, 1978.
2. Агафонов В.Н.. Спецификация программ: понятийные средства и их организация. – Новосибирск: Наука (Сибирское отделение), 1987.
3. Алимов Ю.И. Альтернатива методу математической статистики. – М.: Знание, 1980.
4. Андерсон Р. Доказательство правильности программ. – М.: Мир, 1982.
5. Архангельский А.Я. Язык Pascal и основы программирования в Delphi. – Бином, 2004. – 496 с.
6. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. – М.: Мир, 1979.
7. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). – М.: ЦНИПИАСС Госстроя СССР, 1977. – 300 с.
8. Бауэр Ф.Л., Гнац Р., Хилл У. Информатика. Задачи и решения. – М.: Мир, 1978.
9. Барендрет Х. Ламбда-исчисление: его синтаксис и семантика. – М.: Мир, 1985.
10. Безуглый Д. Технология разработки программного обеспечения. – АО «Банкомсвязь».
11. Бельтюков А.П. Язык дедуктивного программирования // Теория языков программирования. Ижевск, 1983. с. 3–18.
12. Бен-Ари М.. Языки программирования. Практический сравнительный анализ. – М.: Мир, 2000.
13. Бенерджи Р. Теория решения задач. – М.: Мир, 1972.
14. Березин И.С.,. Жидков Н.П. Методы вычислений, т.т. 1 и 2. – М.: Физматгиз, 1959.
15. Берков Н.А., Беркова Н.Н. Алгоритмический язык Фортран 90: Учеб. пособие / Н.А. Берков, Н.Н. Беркова; МГИУ, 1998. – 94 с.
16. Блох А.Ш. Граф-схемы и их применение. Минск: Вышейшая школа. 1975.
17. Боэм Б. и др. Характеристики качества программного обеспечения /Боэм Б., Браун Дж., Каспар Х., Липов М., Мак-Леод Г., Мерит М. – М.: Мир, 1981.
18. Брауде Э.Дж. Технология разработки программного обеспечения. – СПб.: Питер, 2004.
19. Безбородов Ю.М. Индивидуальная отладка программ. – М.: Наука, 1982.
20. Брудно А.Л. Программирование в содержательных обозначениях. – М.: Наука, 1968.
21. Брукс Ф.П., мл. Как проектируются и создаются программные комплексы. (Мифический человеко-месяц) – М.: Наука, 1979.
22. Буч Г. Объектно ориентированное проектирование с примерами применения. – М.: Конкорд, 1992.
23. Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. – М.: Статистика, 1980.
24. Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем / М.: Финансы и статистика, 1998
25. Вирт Н.. Систематическое программирование. – М.: Мир, 1977.
26. Вирт Н. Алгоритмы и структуры данных. – СПб: Невский диалект, 2001.
27. Вудворд Джоан. /Пью Д.С., Хиксон Д. Дж., Томпсон Дж. Исследователи об организациях. Хрестоматия. М. Линк. 1997.
28. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного программирования. Паттерны проектирования. – СПб.: Питер, 2001.
29. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы ее автоматизации, УСиМ N 1976. – с. 75–93.
30. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, программирование. – Киев, Наукова Думка, 1974.
31. Голубь Н.Г. Исскуство программирования на Ассемблере. – М.: Diasoft, 2005. – 832 с.
32. Гончаров С.С. Введение в логику и методологию науки / Гончаров С.С., Ершов Ю.Л., Самохвалов К.Ф. – М.: Интерпраккс, 1994.
33. Гончаров, С.С. Методологические аспекты семантического программирования / С.С. Гончаров, Ю.Л. Ершов, Д.И. Свириденко // Научное знание: логика, понятия, структура. Новосибирск: Наука, 1987. С. 154–183.
34. Горбунов-Посадов М.М.. Конфигурации программ. Рецепты безболезненных изменений. – М.: «Малип», 1994.
35. Гримм С. Дж. Как писать руководства для пользователей ЭВМ. – М.: Радио и связь, 1985.
36. Грис Д. Наука программирования. – М.: Мир, 1984.
37. Громов Г.Р.. Очерки информационной технологии. Москва, ИнфоАрт, 1992, 1993.
38. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики. – М.: Мир, 1998.
39. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. – М.: Мир, 1981.
40. Дейкстра Э.. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. – М.: Мир, 1975.
41. Дейкстра Э. Дисциплина программирования. – М.: Мир, 1978. – 177 с.
42. Дейкстра Э. "Two views of programming" (Два взгляда на программирование). – EWD540, 2004.
43. Джарратано Дж., Райли Г. Глава 10. Процедурное программирование // «Экспертные системы: принципы разработки и программирование»: Пер. с англ. – М.: Вильямс, 2006. – 779–851 с.
44. Джоб Стивен, «Экспресс-Электроника», N 6/2004
45. Джоунз Г. Программирование на языке ОККАМ. – М.: Мир, 1989. – 208 с.
46. Домелки Б., Середи П., Колмероэ А.. Робинсон Дж., Ковальский Р. Логическое программирование ЭВМ: Сборник статей: Пер. с англ. и франц. 1988. – 368 с.
47. Емельченков Е.П., Емельченков В.Е.. Вычислимость. Введение в теорию алгоритмов, 2000 г.
48. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979.
49. Ершов Ю.Л. Язык Σ-выражений. Вычисл. системы, N114, Новосибирск, 1986, с. 3–10.
50. Ершов А.П. Введение в теоретическое программирование. – М.: Наука, 1977.
51. Жоголев Е.А.. Введение в технологию программирования (конспект лекций). – М.: "ДИАЛОГ-МГУ", 1994.
52. Зелковец М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. – М.: Мир, 1982.
53. Зиглер К. Методы проектирования программных систем. – М.: Мир, 1985.
54. Калянов Г.Н. CASE-технология. Консалтинг в автоматизации бизнес-процессов / Г.Н. Калянов. – 3-е изд. – М.: Горячая линия – Телеком. 2002. – 320 с.
55. Карпов Ю.Г. Основы построения трансляторов. – С-Петербург, БХВ-Петербург, 2005.
56. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. – М.: Мир, 1983.
57. Кауфман В.Ш.. Языки программирования. Концепции и принципы. – М.: Радио и связь, 1993.
58. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.:Мир, 1987
59. Кнут Д.. Искусство программирования, том 1-3. – М.: Мир, 1978.
60. Кнут Д. «Программирование как искусство»: лекция лауреата Тьюринговской премии, 1974.
61. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. – М.: МЦНМО, 1999.
62. Королев Л.Н. Структуры ЭВМ и их математическое обеспечение. – М.: Наука, 1978.
63. Косовский Н.К. Основы теории элементарных алгоритмов. – Л.: Изд-во Ленингр. ун-та, 1987.
64. Котов В.Е Сети Петри. – М.: МГУ, 1984. – 157 с.
65. Крачтен Ф. Введение в RATIONAL UNIFIED PROCESS. – М.: Изд. Дом «Вильямс», 2002.
66. Кристиан М.. Введение в операционную систему UNIX. – М.: Финансы и статистика, 1985. – 318 с.
67. Кузнецов Б.П. Структура и сложность модулей циклических программ. // Автоматика и телемеханика. 1999. № 2. С.151–165.
68. Курочкин В.М. Универсальный язык программирования PL/1. М.: Мир, 1968. 352 с.
69. Лавров С.С. Программирование. Математические основы, средства, теория. – СПб.: БХВ-Петербург, 2001.
70. Лавров С.С. Так что же такое информатика? // Компьютерные инструменты в образовании. 2000, № 1, с. 22–25.
71. Лакатос И. Доказательства и опровержения. – М.: Наука, 1967.
72. Лебедев А.Н.. Защита банковской информации и современная криптография // Вопросы защиты информации, 2(29), 1995.
73. Липаев В.В. Тестирование программ. – М.: Радио и связь, 1986.
74. Липаев В.В. Качество программного обеспечения. – М.: Финансы и статистика, 1983.
75. Липаев В.В., Филиппов Е.Н. Мобильность программ и данных в открытых информационных системах. – М.: Научная книга, 1997.
76. Логическое программирование / под ред. Агафонова В.Н. – М.: Мир, 1988. – 368 с.
77. Майерс Г. Надежность программного обеспечения. – М.: Мир.
78. Майерс Г. Искусство тестирования программ. – М.: Финансы и статистика, 1982.
79. Мик Б., Хит П., Рашби Н. Практическое руководство по программированию. М.: Радио и связь, 1986.
80. Москвитин А.А. Задачный подход в информатике. – Новосибирск, НГУ, 2003.
81. Налимов В.В. Вероятностная модель языка. О соотношении естественных и искусственных языков. – М.: Наука, 1979.
82. Непейвода Н.Н. Стили и методы программирования. – Интернет-университет информационных технологий – ИНТУИТ.ру, 2005
83. Никаноров С.П. Применение методов сетевого планирования и управления (СПУ) на промышленных предприятиях. – Москва: Моск. гор. организация общества "Знание" РСФСР, 1966.
84. Нильсен Я. Веб-дизайн. Символ-Плюс, 2007. – 512 с.
85. Непли Э., Плат Р. Программирование на языке Модула-2, – М.: Радио и связь, 1989. – 304 с.
86. Ноден П., Китте К. Алгебраическая алгоритмика. – М.: Мир, 1999.
87. Ньюмен Д.Л., Дейвис Л.Д. Предпринимательский анализ финансов малого предприятия. – Интернет-трейдинг, 2006.
88. Оптнер С. Системный анализ для решения деловых и промышленных проблем. – М.: Сов. Радио, 1969.
89. Орлов С.А. Технологии разработки программного обеспечения. СПб.: Питер, 2004. – 528 с.
90. Пайал Я. АДА – язык встроенных систем. – М.: Финансы и статистика, 1984.
91. Пильщиков В.Н. Язык плэнер. – М.: Наука, 1983. – 208 с.
92. Пойа Д. Как решать задачу. – М.: Учпедгиз, 1961.
93. Полковникова Е.В., Полковников А.В. Планирование и управление проектом с использованием Time Line. – М.:Диалог; Мифи,1994.
94. Поттосин И.В. Программистская инженерия: содержание, мнения и тенденции. // Программирование. – 1997. – № 4. – С. 26-37.
95. CASE: Компьютерное проектирование программного обеспечения. – Издательство Московского университета, 1994.
96. Саймон Алан Р. Стратегические технологии баз данных. – М.: Финансы и статистика, 1999 г.
97. Сайлер Б., Споттс Дж. Использование Visual Basic 6. Классическое издание = Special Edition Using Visual Basic 6. – М.: «Вильямс», 2007. – С. 832.
98. Сборник «Актуальные проблемы лингвистики и межкультурной коммуникации» – Иваново, 2004.
99. Свердлов С.З. Языки программирования и методы трансляции: Учебное пособие. – СПб.: Питер, 2007. – 638 с.
100. Себеста Р. В. Компьютеризация коммерческих записей: язык COBOL // Основные концепции языков программирования = Concepts of Programming Languages. – 5-е изд. – М.: «Вильямс», 2001. – 672 С.
101. Себеста Р.В. Первый шаг к совершенствованию: язык ALGOL 60 // Основные концепции языков программирования. = Concepts of Programming Languages. – 5-е изд. – М.: «Вильямс», 2001. – С. 672.
102. Симонс Дж. ЭВМ пятого поколения: компьютеры 90-х годов. – М.: Финансы и статистика, 1985. – 173 с.
103. Структуры данных и алгоритмы / Ахо А.В., Хопкрофт Дж., Ульман Дж. Д. – М.: Вильямс, 2004. – 384 с.
104. Скотт Д. Теория решеток, типы данных и семантика / Данные в языках программирования. – М.: Мир, 1982. – С. 25–53.
105. Словарь иностранных слов. – М.: Русский язык, 1987.
106. Смальян Р. Теория формальных систем. – М.: Наука, 1981.
107. Тассел Д. Ван. Стиль, разработка, эффективность, отладка и испытание программ. – М.: Мир, 1985.
108. Тимофеева М.К. Естественные и формальные языки. – Новосибирск, НГУ, 2003.
109. Турский В. Методология программирования. – М.: Мир, 1981.
110. Турчин В. Ф. Феномен науки: кибернетический подход к эволюции. – М.: ЭТС, 2000.
111. Тыугу Э.Х. Концептуальное программирование – М.: Наука, 1984.
112. Уэзерелл Ч. Этюды для программистов. – М.: Мир, 1982.
113. Фаулер М., Скотт К. UML в кратком изложении. – М.: Мир, 1999.
114. Филд А., Харрисон П. Функциональное программирование. – 1993 – 640 с.
115. Фокс Дж. Программное обеспечение и его разработка. – М.: Мир, 1985.
116. Фридл Дж. Регулярные выражения. СПб.: Питер, 2001г. – 464 с.
117. Фути К., Судзуки Н. Языки программирования и схемотехника СБИС. – М.: Мир, 1988.
118. Фуксман А.Л. Технологические аспекты создания программных систем. – М.: Статистика, 1979.
119. Харари Ф. Теория графов. – М.: Мир, 1973. – 336 с.
120. Хендерсон П. Функциональное программирование. Применение и реализация. – М.: Мир, 1983. – 349 с.
121. Хоггер К., Введение в логическое программирование. – М.: Мир, 1988.
122. Хорошевский В.Г. Архитектура вычислительных систем. – М.: МГТУ им. Баумана, 2005. – 512 с.
123. Хьюз Дж., Мичтом Дж.. Структурный подход к программированию. – М.: Мир, 1980.
124. Хопкрофт Дж.Э., Мотванн Р., Ульман Д.Д. Введение в теорию автоматов, языков и вычислений. М.: «Вильямс». 2002.
125. Челпанов Г.И Введение в экспериментальную психологию. – М.: 1916. – 294 с.
126. Эпиенс А. Принципы объектно-ориентированной разработки программ. – М.: Издательский дом «Вильямс», 2002.
127. Язык Пролог в пятом поколении ЭВМ. Сб. статей. – М.: Мир, 1988.
128. Criteria for Evaluation of Software. ISO TC97/SC7 #383.
129. Dijkstra Edsger W. «Программирование как вид человеческой деятельности. (EWD117)», 2004.
130. Glass R.L. (Глас) The Relation Between Theory and Practice in Software Engineering. // CACM, November 1996. V. 39, N 11, pp. 11–13.
131. Goad C.A. Computational uses of the manipulation of formal proofs //Stanford Univ. Rept N STAND-CS-80-819. 1980. 122 p.
132. Holt R.C. Structure of Computer Programs: A Survey // Proceedings of the IEEE, 1975, 63(6).
133. Muhlbacher J., Leisch B., Kirk B., Kreuzeder U. Oberon-2 Programming With Windows (+CD). Springer, 1997.
134. Partsch H. CIP transformation system // Program transformation and program environment/ Rept/Worjshop NATO Adv.Res., Munich, 1983. Berlin, a.o. 1984. P 305–322.
135. Perrow Ch. Normal Accidents. Living with High-Risc. N.Y.: Basic Books, 1984.
136. Requirements for Ada Programming Support Environments. – USA: DoD, Stoneman, 1980.
137. Sommerville Ian. Software Engineering. – Addison-Wesley Publishing Company, 1992.
138. VDM – A formalmethod at work / Bjorner D., Jones C.B., MacAirchinnigh M., Neuhold E.J. (eds) // Lect. Notes in Comp. Sci. 1987. N 252.

Рекомендации материалов по теме: нет