1.
Дж. Фокс
Программное обеспечение и его разработка
М.: Мир, 1982
2.
Г.С. Цейтина
Алгол 68. Методы реализации
Л.: Изд. ЛГУ, 1976, 224 с
3.
В.Н. Ходаковский, И.В. Вельбицкий, Л.И. Шолмов
Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6
М.: Статистика, 1980, 263 с
4.
И. Соммервиль
Инженерия программного обеспечения
М.: Изд. Вильямс, 2002
5.
Ф. Брукс
Мифический человеко-месяц или Как создаются программные системы
СПб.: Изд. Символ-плюс, 2000
6.
Э. Дейкстра
Дисциплина программирования
М.: 1982
7.
Обратный метод установления выводимости непрефиксных формул в исчислениях предикатов
Докл. Акад. Наук СССР 172, 1967,с. 22-25
8.
М. Кантор
Управление программными проектами. Практическое руководство по разработке успешного программного обеспечения
М.: Вильямс, 2002
9.
В.В. Липаев
Тестирование программ
М.: Радио и связь, 1986, 296 с
10.
Инструкции к программе DICO. Методические материалы по программному обеспечению ЭВМ
Серия 4. Выпуск 5. Изд. ЛГУ, 1974
11.
Maslow A.A
Motivation and Personality
New York: Harper and Row, 1954
12.
Русская редакция, 2004, 416 с
13.
ГОСТ 19.001-77. Единая система программной документации. Общие положения
15.
История и архитектура проекта RescueWare. Автоматизированный реинжиниринг программ
СПб.: Изд-во С.-Петербургского университета, 2000, с. 7-19
16.
Д.Е. Бабурин, М.А. Бульонков
HyperCode – открытая система визуализации программ. Автоматизированный реинжиниринг программ
СПб.: Изд. С.-Петербургского университета, 2000, с. 165-183
17.
Д. Шафер, Л. Шафер, Р. Фатрелл
Управление программными проектами: достижение оптимального качества при минимуме затрат
М., Вильямс, 2003
18.
Международный стандарт ISO 9001-94. Системы качества. Модель обеспечения качества при проектировании, разработке, производстве, монтаже и обслуживании
М.: ИПК, Изд. стандартов, 1996, 19 с
19.
B. Curtis, C.V. Weber, M.B. Chrissis et al, М.C. Paulk
The Capability Maturity Model: Guidelines for Improving the Software Process
Addison-Wesley, 1995
20.
А.М. Вендров
CASE-технологии. Современные методы и средства проектирования информационных систем
М.: Финансы и статистика, 1998. – 176 с.: илл
21.
E.F. Codd
A Relational Model of Data for Large Shared Data Banks. Communications of the ACM
Vol. 13, No. 6, June 1970, pp. 377-387. Copyright ” 1970, Association for Computing Machinery, Inc
22.
OMG Unified Modeling Language Specification
Version 1.5, March 2003 formal/03-03-01//www.omg.org
23.
Основы операционных систем. Курс лекций. Учебное пособие
М.: Интеренет-Университет Информационных Технологий, 2004, 628 с
24.
Edsger W. Dijksta
Cooperating sequential processes
Programming Languages: NATO Advanced Study Institute. Academic Press, 1968. P. 43—112
25.
C.A.R. Hoare
Monitors: an operating system structuring concept
Communications of the ACM, Volume 17 Issue 10. October 1974
26.
М.Т. Хиллс, С. Кано
Программирование для электронных систем коммутации
М.: Связь, 1980, с. 248
27.
RTST – технология программирования встроенных систем реального времени
СПб.; Изд. СПбГУ, 1998
28.
CCITT Recommendation Z.100: CCITT Specification and Description Language (SDL)
COM X-R 26, ITU General Secretariat, Geneva, 1992
29.
В.В. Парфенов
Объектно-ориентированный подход в проектировании программного обеспечения встроенных систем реального времени
Проблемы теоретического и экспериментального программирования. Новосибирск. 1992
31.
ITU Recommendation Z.120: Message Sequence Chart
11/1999. P. 138
32.
А. Иванов, А. Лебедев, А.Терехов, В. Парфенов, Дм. Кознов, Т. Мурашова
Объектно-ориентированное расширение технологии RTST
СПб.; Изд. СПбГУ, 1998
33.
REAL: методология и CASE-средство для разработки систем реального времени и информационных cистем
Программирование, 1999, № 5. с. 44-52
34.
N. Mansurov
Automatic synthesis of SDL from MSC and its application in forward and reverse engineering
Computer Languages. Vol. 27. N 1/3.2001. P. 115-136
35.
В.В. Соколов
Проверка соответствия SDL-диаграмм MSC-документации при имеющихся отличиях. Системное программирование
Спб., 2004, с. 366-390
36.
А.Н. Иванов
Технологическое решение REAL-IT: создание информационных систем на основе визуального моделирования. Системное программирование
Спб., 2004, с. 89-100
37.
А.Н. Иванов, Д.И. Соболев, С.А. Стригун
Технология REAL для создания информационных систем и ее применение на примере системы Картотека.
Математические модели и информационные технологии в менеджменте. Выпуск 2. – СПб: Изд. СПбГУ, 2004. с 120-139
