Инспектор
Вы можете этот курс.
Введение в технологию программирования
:Введение в технологию программирования
: Литература по курсу
Опубликован: 02.03.2007 | Уровень: для всех | Доступ: платный | ВУЗ: Санкт-Петербургский государственный университет
- 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.Motivation and PersonalityNew York: Harper and Row, 1954
- 13.ГОСТ 19.001-77. Единая система программной документации. Общие положения
- 15.История и архитектура проекта RescueWare. Автоматизированный реинжиниринг программСПб.: Изд-во С.-Петербургского университета, 2000, с. 7-19
- 16.HyperCode – открытая система визуализации программ. Автоматизированный реинжиниринг программСПб.: Изд. С.-Петербургского университета, 2000, с. 165-183
- 17.Управление программными проектами: достижение оптимального качества при минимуме затратМ., Вильямс, 2003
- 18.Международный стандарт ISO 9001-94. Системы качества. Модель обеспечения качества при проектировании, разработке, производстве, монтаже и обслуживанииМ.: ИПК, Изд. стандартов, 1996, 19 с
- 19.The Capability Maturity Model: Guidelines for Improving the Software ProcessAddison-Wesley, 1995
- 20.CASE-технологии. Современные методы и средства проектирования информационных системМ.: Финансы и статистика, 1998. – 176 с.: илл
- 21.A Relational Model of Data for Large Shared Data Banks. Communications of the ACMVol. 13, No. 6, June 1970, pp. 377-387. Copyright ” 1970, Association for Computing Machinery, Inc
- 22.OMG Unified Modeling Language SpecificationVersion 1.5, March 2003 formal/03-03-01//www.omg.org
- 23.Основы операционных систем. Курс лекций. Учебное пособиеМ.: Интеренет-Университет Информационных Технологий, 2004, 628 с
- 24.Cooperating sequential processesProgramming Languages: NATO Advanced Study Institute. Academic Press, 1968. P. 43—112
- 25.Monitors: an operating system structuring conceptCommunications 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 Chart11/1999. P. 138
- 32.Объектно-ориентированное расширение технологии RTSTСПб.; Изд. СПбГУ, 1998
- 33.REAL: методология и CASE-средство для разработки систем реального времени и информационных cистемПрограммирование, 1999, № 5. с. 44-52
- 34.Automatic synthesis of SDL from MSC and its application in forward and reverse engineeringComputer 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
