Санкт-Петербургский государственный университет
Опубликован: 02.03.2007 | Доступ: свободный | Студентов: 3046 / 852 | Оценка: 4.27 / 4.03 | Длительность: 07:12:00
ISBN: 978-5-9556-0104-5
  • 1.
    Дж. Фокс
    Программное обеспечение и его разработка
  • 2.
    Г.С. Цейтина
    Алгол 68. Методы реализации
  • 3.
    В.Н. Ходаковский, И.В. Вельбицкий, Л.И. Шолмов
    Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6
  • 4.
    И. Соммервиль
    Инженерия программного обеспечения
  • 5.
    Ф. Брукс
    Мифический человеко-месяц или Как создаются программные системы
  • 6.
    Э. Дейкстра
    Дисциплина программирования
  • 7.
    Обратный метод установления выводимости непрефиксных формул в исчислениях предикатов
  • 8.
    М. Кантор
    Управление программными проектами. Практическое руководство по разработке успешного программного обеспечения
  • 9.
    В.В. Липаев
    Тестирование программ
  • 10.
    Г.С. Цейтин, С.Н. Баранов, Андрей Терехов
    Инструкции к программе DICO. Методические материалы по программному обеспечению ЭВМ
  • 11.
    Maslow A.A
    Motivation and Personality
  • 13.
    ГОСТ 19.001-77. Единая система программной документации. Общие положения
  • 15.
    История и архитектура проекта RescueWare. Автоматизированный реинжиниринг программ
  • 16.
    Д.Е. Бабурин, М.А. Бульонков
    HyperCode – открытая система визуализации программ. Автоматизированный реинжиниринг программ
  • 17.
    Д. Шафер, Л. Шафер, Р. Фатрелл
    Управление программными проектами: достижение оптимального качества при минимуме затрат
  • 18.
    Международный стандарт ISO 9001-94. Системы качества. Модель обеспечения качества при проектировании, разработке, производстве, монтаже и обслуживании
  • 19.
    B. Curtis, C.V. Weber, M.B. Chrissis et al, М.C. Paulk
    The Capability Maturity Model: Guidelines for Improving the Software Process
  • 20.
    А.М. Вендров
    CASE-технологии. Современные методы и средства проектирования информационных систем
  • 21.
    E.F. Codd
    A Relational Model of Data for Large Shared Data Banks. Communications of the ACM
  • 22.
    OMG Unified Modeling Language Specification
  • 23.
    Основы операционных систем. Курс лекций. Учебное пособие
  • 24.
    Edsger W. Dijksta
    Cooperating sequential processes
  • 25.
    C.A.R. Hoare
    Monitors: an operating system structuring concept
  • 26.
    М.Т. Хиллс, С. Кано
    Программирование для электронных систем коммутации
  • 27.
    RTST – технология программирования встроенных систем реального времени
  • 28.
    CCITT Recommendation Z.100: CCITT Specification and Description Language (SDL)
  • 29.
    В.В. Парфенов
    Объектно-ориентированный подход в проектировании программного обеспечения встроенных систем реального времени
  • 31.
    ITU Recommendation Z.120: Message Sequence Chart
  • 32.
    А. Иванов, А. Лебедев, А.Терехов, В. Парфенов, Дм. Кознов, Т. Мурашова
    Объектно-ориентированное расширение технологии RTST
  • 33.
    А.Н. Иванов, Дм.В. Кознов, П.С. Долгов, Константин Романовский, Андрей Терехов
    REAL: методология и CASE-средство для разработки систем реального времени и информационных cистем
  • 34.
    N. Mansurov
    Automatic synthesis of SDL from MSC and its application in forward and reverse engineering
  • 35.
    В.В. Соколов
    Проверка соответствия SDL-диаграмм MSC-документации при имеющихся отличиях. Системное программирование
  • 36.
    А.Н. Иванов
    Технологическое решение REAL-IT: создание информационных систем на основе визуального моделирования. Системное программирование
  • 37.
    А.Н. Иванов, Д.И. Соболев, С.А. Стригун
    Технология REAL для создания информационных систем и ее применение на примере системы Картотека.
Елена Сергеева
Елена Сергеева
Россия, Таганрог, ТРТУ, 2003
Михаил Адигеев
Михаил Адигеев
Россия