Московский физико-технический институт
Опубликован: 24.09.2008 | Доступ: свободный | Студентов: 4502 / 2178 | Оценка: 4.52 / 4.48 | Длительность: 25:15:00
Специальности: Системный архитектор
  • 1.
    Программы следующего десятилетия
  • 2.
    McConnel S., Tripp L
    Professional Software Engineering: Fact or Fiction?
  • 3.
    Pfleeger S.L
    Software Engineering. Theory and practice
  • 4.
    Jacobson I
    Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing
  • 5.
    Иан Соммервил
    Инженерия программного обеспечения. 6-е издание
  • 6.
    Лаврищева Е.М
    Проблематика программной инженерии
  • 7.
    Бабенко Л.П., Лаврищева Е.М
    Основы программной инженерии. Учебник
  • 8.
    Jackson M
    Software requirement & specifications
  • 9.
    Грищенко В.Н, Лаврищева Е.М.
    Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплины
  • 10.
    Griss M., Jacobson I., Jonsson P
    Software Reuse
  • 11.
    Лаврищева Е.М
    Основные направления исследований в программной инженерии и пути их развития
  • 12.
    Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М. Суслов В.Ю
    Основы инженерии качества программных систем
  • 13.
    Jotterbarn D., Miller K., Rogerson S
    Software Engineering CODE of Ethic is Approved
  • 14.
    ISO/IEC 12207: 1995. Information technology – Software life cycle processes. Информационные технологии – Процессы жизненного цикла программного обеспечения
  • 15.
    ISO/IEC TR 15504, Information Technology – Software Process Assessment (Part 1–9)
  • 16.
    ISO/IEC 9126, Information Technology – Software quality characteristics and metrics (Part 1–4)
  • 17.
    Брукс Ф.П
    Как проектируются и создаются программные комплексы: мифический человеко-месяц
  • 18.
    Эммерих В
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
  • 19.
    Booch G., Jacobson I., Rumbaugh J
    The Unified Software Development Process
  • 20.
    B Curtis at al, M.Paulk
    Capability Maturity Model for Software, version 1.1
  • 21.
    R.H. Thayer
    Software Engineering Project Management, 2 nd. ed
  • 22.
    Грищенко В.Н, Лаврищева Е.М.
    Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплины
  • 23.
    Васютович В., Никифоров Г, Самотохин С.
    Регламентация жизненного цикла программных средств
  • 24.
    Вендеров А.М
    Проектирование программного обеспечения экономических информационных систем. Учебник
  • 25.
    Орлов С.А
    Технологии разработки программного обеспечения. Учебник для Вузов
  • 26.
    Соммервил И
    Инженерия программного обеспечения. 6-е издание
  • 27.
    Коротун Т.М, Лаврищева Е.М.
    Построение процесса тестирования программных систем
  • 28.
    Коротун Т.М
    Модели и методы инженерии тестирования программных систем в условиях ограниченных ресурсов
  • 29.
    Вигерс К.И
    Разработка требований к ПО
  • 30.
    Леонов И.В
    Введение в методологию разработки программного обеспечения при помощи Rational Rose
  • 31.
    Jackson Michael, Zave Pamela
    Four Dark Corners of Requirements Engineering
  • 32.
    Goguen Joseph A, Pinheiro Francisco A. C.
    An Object-Oriented tool for Tracing Requirements
  • 33.
    Guckkenheimer S., Peter J
    Software Engineering With Microsoft Visual Studio. Team System
  • 34.
    Шлеер С. и Меллор С
    Объектно-ориентированный анализ: моделирование мира в состояниях
  • 35.
    Coad P., Yourdan E
    Object-oriented analysis.-Second Edition
  • 36.
    Yourdan E
    Modern Srtucrured Analysis
  • 37.
    DeMarko D.A., McGovan R.L
    SADT: Structured Analysis and Design Technique
  • 38.
    Constantine L, Yourdan E.
    Structured Design. Yourden Press
  • 39.
    Martin J., Odell J.J
    Object-oriented analysis and design
  • 40.
    Barker R
    CASE-method. Entity Relatiionship Modeling
  • 41.
    Schardt J.A
    Assentials of Distributed Object Design M.S.E
  • 42.
    Blaha V., Premerlani W, Rumbaugh J.
    Object-Oriented Modelling and Design
  • 43.
    Гради Буч
    Объектно-ориентированное проектирование. – 3-е издание
  • 44.
    Jacobson I
    Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing
  • 45.
    Андон Ф.И., Резниченко В.А, Яшунин А.Е.
    Логические модели интеллектуальных информационных систем
  • 46.
    К.Чернецки, У.Айзенекер
    Порождающее программирование. Методы, инструменты, применение
  • 47.
    Фреге Г
    Логика и логическая семантика
  • 48.
    Орфали Р., Харки Д. Эдвардс Дж
    Основы CORBA
  • 49.
    Эммерих В
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
  • 50.
    Буч Г, Джекобсон А, Рамбо Дж.
    UML: специальный справочник
  • 51.
    Кендалл Скотт
    Унифицированный процесс. Основные концепции
  • 52.
    Demark D.A., McGowan R.L
    SADT: Structured Analysis and Design Technique
  • 53.
    Farmer R, Mills.G, Skidmore.S
    SSADM: Models and Mehtods
  • 54.
    МакГруэн К, Марка Д.А.
    Методология структурного анализа и проектирования
  • 55.
    Буч Г
    Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2–е изд
  • 56.
    Влиссидес Дж, Гамма Э., Джонсон Р., Хелм Р.
    Приемы объектно-ориентированного проектирования. Паттерны проектирования
  • 57.
    The Unified Modeling Language (UML) Specification. – V. 1.3
  • 58.
    Буч Г, Джекобсон А, Рамбо Дж.
    UML. Специальный справочник
  • 59.
    Larsson S., Stafford J, Сrnkovik I
    Component–Based Software Engineering: building systems from Components at 9th Conference and Workshops on Engineering of Computer-Based Systems
  • 60.
    and Vlissides J, Gamma E., Helm R., Johnson R.
    Design Patterns, Elements of Reusable Object–oriented Software
  • 61.
    Грищенко В.Н., Лаврищева Е.М
    Методы и средства компонентного программирования
  • 62.
    Лаврищева Е.М
    Методы программирования. Теория, инженерия, практика
  • 63.
    Ogden W., Sweden S, Weide B.
    Reusable Software Components
  • 64.
    Griss M., Jacobson I., Johnson P
    Software Reuse: Architecture, Process and organization for Business Success
  • 65.
    Эммерих В
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
  • 66.
    Kiselev. I
    Aspect–Oriented Programming with AspectJ
  • 67.
    Павлов В
    Аспектно-ориентированное программирование
  • 68.
    Айзенекер У, Чернецки К.
    Порождающее программирование. Методы, инструменты, применение
  • 69.
    Сигел Дж
    CORBA 3
  • 70.
    Плескач В.Л., Рогушина Ю.В
    Агентные технологии
  • 71.
    Shoham. Y
    Agent–oriented programming
  • 72.
    Трахтенгерц Э.А
    Взаимодействие агентов в многоагентных средах
  • 73.
    Дрейган Р
    Будущее программных агентов
  • 74.
    Якобсон А
    Мечты о будущем программирования
  • 75.
    Летичевский А.А, Маринченко В.Г
    Объекты в системе алгебраического программирования
  • 76.
    Волков В.А., Вышемирский В.В., Капитонова Ю.В., Летичевский А.А., Летичевский А.А. (мл.)
    Инсерционное программирование
  • 77.
    Редько В.Н
    Экспликативное программирование: ретроспективы и перспективы
  • 78.
    Никитченко Н.С
    Композиционно–номинативный подход к уточнению понятия программы
  • 79.
    Редько В.Н
    Основания программологии
  • 80.
    Цейтлин Г.Е
    Введение в алгоритмику
  • 81.
    Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л
    Алгебра. Языки. Программирование
  • 82.
    Марков А.А
    Теория алгоритмов
  • 83.
    Ляпунов А.А
    О логических схемах программ
  • 84.
    Янов Ю.И
    О логических схемах алгоритмов
  • 85.
    Hoare C.A.R
    Рrof of correctness of data representation
  • 86.
    Андерсон Р
    Доказательство правильности программ
  • 87.
    Abrial I.R., Meyer B
    Spesification Language Z
  • 88.
    Biorner D., Jones C.B
    The Vienna Development Methods (VDM): The Meta – Language. – Vol. 61 of Lecture Notes in Computer Science
  • 89.
    Петренко А.К
    Венский метод разработки программ
  • 90.
    The RAISE Language Group. The RAISE Spesification Language
  • 91.
    The RAISE Methods Group. The RAISE Development Methods
  • 92.
    Агафонов В.Н
    Спецификации программ: понятийные средства и их организация
  • 93.
    Непомнящий В.А., Сулимов А.А
    Об одном подходе к спецификации и верификации трансляторов
  • 94.
    Бодин Е.В, Непомнящий В.А., Шилов Н.В.
    Спецификация и верификация распределенных систем средствами языка Elementary–real
  • 96.
    Вудкок Д
    Первые шаги к решению проблемы верификации программ
  • 97.
    Hoare T., Misra J
    Verified software: Theories, Tools, Experiments. Vision of Grant Challenge project
  • 98.
    Коваль В.Н
    Концепторные языки. Доказательное проектирование
  • 99.
    Dijkstra T.W
    Finding the Correctness proof of a concurrent program
  • 100.
    Бабенко Л.П., Лавришева Е.М
    Основы программной инженерии
  • 101.
    Дышлевый К.В., Иванников В.П., Мажелей С.Г., Содовская Д.Б., Шебуняев А.Б
    Распределенные объектно-ориентиро-ванные среды
  • 102.
    Cuthill B, Dolores R., Ippolito, Wallase M.
    Reference Information for the Software Verification and Validation Process
  • 103.
    Fei Xie and James C. Browne
    Verified Systems by Composition from Verified Components
  • 104.
    Майерс Г
    Искусство тестирования программ
  • 105.
    Липаев В.В
    Отладка сложных программ
  • 106.
    Липаев В.В
    Тестирование программ
  • 107.
    Канер С., Нгуен Е.К, Фолк Д.
    Тестирование программного обеспечения: Пер с англ
  • 108.
    Ostrand T.J, Weyuker E.J.
    Theories of program testing and the application of revealing subdomains
  • 109.
    ANSI / IEEE Std. 10122–1986. Standard for Software Verification and Validation Plans
  • 110.
    ISO/IEC 12207: 2002. Information technology
  • 111.
    Соммервил И
    Инженерия программного обеспечения. 6 –издание
  • 112.
    CASE–93. Proceeding Sixth Intern
  • 113.
    Коротун Т.М, Лаврищева Е.М.
    Построение процесса тестирования программных систем
  • 114.
    Англо-український тлумачний словник з обчислювальної техніки, Інтернету, програмування
  • 115.
    Эммерих В
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
  • 116.
    Wegner P
    Interaction Foundation of Object–oriented Programming ECOOP
  • 117.
    Летичевский А.А, Маринченко В.Г
    Объекты в системе алгебраического программирования
  • 118.
    Open Software Foundation. Inroduce to Open Software Foundation. Disributed Computed Environments
  • 119.
    Corbin J
    The art of Distributed Application. Programming Techn. For Remote Procedure Calls
  • 120.
    Роджерсон Д
    Основы СОМ
  • 121.
    CORBA. The Common Object Request Broker: Architecture and Specification. Revision 2.0
  • 122.
    Монсон–Хейфел Р
    Enterprise JavaBeans
  • 123.
    Барлет Н., Лесли А., Симкин С
    Программирование на JAVA. Путеводитель
  • 124.
    Дышлевый К.В., Иванников В.П., Мажелей С.Г., Содовская Д.Б., Шебуняев А.Б
    Распределенные объектно-ориентированные среды
  • 125.
    Грищенко В.М, Лаврищева Е.М.
    Сборочное программирование
  • 126.
    Бей И
    Взаимодействие разноязыковых программ. Руководство программиста
  • 127.
    ИСО/МЭК 11404:1996. Информационные технологии. Языки программирования, их среда и системный интерфейс. Независимые от языков типы данных
  • 128.
    Фаулер М
    Рефакторинг: улучшение соответствующего кода
  • 129.
    Пантелеймонов А.А
    Аспекты реинженерии приложений с графическим интерфейсом пользователя
  • 130.
    Джордан Д
    Обработка объектных бах данных в С++. Программирование по стандарту ODMG
  • 131.
    Дунаев С.Б
    Доступ к базам данных и техника работы в сети
  • 132.
    Ducasse S, Lanza M.
    Polimetric Views – A lightweight Visual Approach to Reverse Engineering
  • 133.
    Соммервилл И
    Инженерия программного обеспечения
  • 134.
    Гласс Г., Нуазо Р
    Сопровождение программного обеспечения
  • 135.
    Бабенко Л.П., Лаврищева Е.М
    Основы программной инженерии (укр.)
  • 136.
    Лаврищева Е.М
    Методы программирования. Теория, инженерия, практика
  • 137.
    Айзенекер У, Чернецки К.
    Порождающее программирование. Методы, инструменты, применение. – Издательский дом «Питер»
  • 138.
    Meyer B
    On to Components. Computer
  • 139.
    Lowy J
    COM and NET Component Services
  • 140.
    Batory D., O'Malley S
    The Design and Implementation of Hierarchical Software Systems with Reusable Components
  • 141.
    Ogden W., Sweden S, Weide B.
    Reusable Software Components/ Advances in Computers, vol. 33
  • 142.
    Griss M., Jacobson I., Johnson P
    Software Reuse: Architec-ture, Process and organization for Business Success
  • 143.
    Northrop L.M
    SEI`s Software Product Line Tenets
  • 144.
    ДСТУ 2844–1994. Программные средства ЭВМ. Обеспечение качества. Термины и определения
  • 145.
    ДСТУ 2850–1994. Программные средства ЭВМ. Обеспечение качества. Показатели и методы оценки качества программного обеспечения
  • 146.
    ДСТУ 3230–1995. Управление качеством и обеспечение качества. Термины и определения
  • 147.
    Барлоу Р., Прошан Ф
    Математическая теория надежности
  • 148.
    Липаев В.В
    Надежность программного обеспечения АСУ
  • 149.
    Гласс Г
    Руководство по надежному программированию
  • 150.
    Липов Р., Нельсон Э, Тейер Т.
    Надежность программного обеспечения
  • 151.
    Лаврищева Е.М, Мороз Г.Б.
    Модели роста надежности программного обеспечения
  • 152.
    Meyer B
    The role of Object–Oriented Metrics
  • 153.
    Кулаков А.Ю
    Оценка качества программ ЭВМ
  • 154.
    Липаев В.В
    Методы обеспечения качества крупнмасштабных программных систем
  • 155.
    Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю
    Основы качества программных систем
  • 156.
    NASA –STD–2201
  • 157.
    and Kazuhira Okumoto, Anthony Iannino, John D. Musa
    Software Reliability: Measurement, Prediction, Application. Whippany
  • 158.
    Musa J.D. Okumoto K.A
    Logarithmic Poisson Time Model for Software Reliability Measurement
  • 159.
    Goel A.L
    Software reliability models& Assumptions, Limitations and Applicability
  • 160.
    Goel A.L, Sukert A.N.
    A guidebook for software reliability assessment
  • 161.
    Jelinski Z., Moranda P
    Software reliability research
  • 162.
    Shick G.J., Wolverton R.W
    An analysis of computing software reliability models
  • 163.
    Ohba M., Osaki S, Yamada S.
    S–shaped software reliability grows modeling for software error detection
  • 164.
    Schneidewind N.F
    Software Reliability Model with Optimal Selection of Failure Data
  • 165.
    Shanthikumar J.G
    Software reliability models: A Review
  • 166.
    Reiter D.J
    Software managment, IEEE Computer Society Press
  • 167.
    B. Duncan
  • 168.
    Боэм Б.У
    Инженерное проектирование программного обеспечения
  • 169.
    Pfleeger S.L
    Software Engineering. Theory and Practice
  • 170.
    R.H. Thayer
    Software Engineering Project Managment, 2nd.ed
  • 171.
    ISO/IEC TR 16326:1999. Guide for the application of ISO/IEC 12207 to project management
  • 172.
    IEEE Std 1058–1998. IEEE Standard for Software Project Management Plans
  • 173.
    Glib T
    Principles of software engineering management
  • 174.
    Гультяев А.К
    MS PROJECT 2003. Управление проектами. Русская версия; Практическое пособие
  • 175.
    Джалота П
    Управление программными проектами на практике
  • 176.
    Брукс Ф.П
    Мифический человеко-месяц или как создаются программные системы
  • 177.
    Черников A
    Теория и практика управления проектами
  • 178.
    Первое знакомство с Microsoft Office project Professional 2003
  • 179.
    .Хелм Р., Влиссидес Дж, Гамма Э, Джонсон Р.
    Приемы объектно–ориентированного проектирования. Паттерны проектирования
  • 180.
    Орфали Р., Харки Д., Эрварс Д
    Основы CORBA
  • 181.
    Эммерих В
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
  • 182.
    Монсон-Хейфел Р
    Enterprise JavaBeans
  • 183.
    Барлет Н., Лесли А., Симкин С
    Программирование на JAVA. Путеводитель
  • 184.
    Холл М
    Сервлеты и JavaServer Pages. Библиотека программиста
  • 185.
    Андон Ф.И., Лаврищева Е.М
    Методы инженерии распределенных компьютерных систем
  • 186.
    Пантелеймонов А.А, Петрухин В.А.
    Трассировка и мониторинг распределенного приложения с использованием архитектуры CORBA
  • 187.
    Кендалл Скотт
    Унифицированный процесс. Основные концепции
  • 188.
    UML. Специальный выпуск
  • 189.
    Ленгрейв Т, Мэйлс Б., Уилсон С.Ф.
    Принципы проектирования и разработки программного обеспечения. Учебный курс МCSD
Александр Медов
Александр Медов

Здравствуйте,при покупке печатной формы сертификата,будут ли выданы обе печатные сторны?

Александр Медов
Александр Медов

Здравствуйте, прошел курс МБА Управление ИТ-проектами и направил документы на получение диплома почтой. Подскажите, сроки получения оного в бумажной форме?

: