НОУ ИНТУИТ | Литература | Введение в технологию программирования

Санкт-Петербургский государственный университет

Опубликован: 02.03.2007 | Доступ: свободный | Студентов: 3462 / 1136 | Оценка: 4.27 / 4.03 | Длительность: 07:12:00

ISBN: 978-5-9556-0104-5

Тема: Программирование

Специальности: Программист, Системный архитектор

Вам нравится? Нравится 54 студентам

| Поделиться |

Поддержать курс

| Скачать электронную книгу

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.

Сайт Microsoft Solutions Framework. Методология создания программных решений -- Книга Анализ требований и создание архитектуры решений на основе Microsoft .NET. Учебный курс MCSD

Русская редакция, 2004, 416 с
13.

ГОСТ 19.001-77. Единая система программной документации. Общие положения
14.

The Free Software Foundation
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
30.

CORBA 3.0, OMG IDL Syntax and Semantics chapter
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

Авторизоваться

Введение в технологию программирования

Вопросы и ответы