- •Перелік термінів та позначень
- •Передмова
- •Частина 1. Початок програмування в срср. Витоки розвитку
- •1.1. Поява і розвиток технології програмування (1952–2012)
- •1.2. Формування технологічних напрямів (1965–1975)
- •1.3. Становленья технології програмування (1975–1982)
- •1.4. Розвиток інтерфейсу в технології програмування (1976–1992)
- •1.5. Розвиток об’єктної технології програмування (1992–2002)
- •1.6. Індустріальні основи технології програмування (2002–2012)
- •1.7. Навчання тп у кну Тараса Шевченко (1965–2012) та філії мфті (2000–2012)
- •Контрольні питання і завдання до частини 1
- •Список літератури до частини 1
- •Частина 2. Парадигми технології програмування
- •2.1. Модульне програмування та збиральний підхід
- •2.1.1. Інтерфейс в програмуванні
- •2.1.2. Зборка модулів по а.П.Єршову
- •2.1.3. Метод зборки готових програмних елементів
- •2.1.4. Формальне подання методу збирання різномовних модулів
- •2.2. Парадигма об’єктно-орієнтованого програмування
- •2.2.1. Базові концепції ооп
- •2.2.2. Чотирьох рівневе проектування ом
- •2.2.3. Концепції об’єктного аналізу
- •2.2.4. Функції, алгебра та операції об’єктного аналізу
- •2.2.5. Моделювання моделі ПрО
- •2.2.6. Опис параметрів інтерфейсу ом
- •2.3. Парадигма uml-метода моделювання
- •2.3.1 Основні діаграми методу
- •2.3.2. Моделювання поведінки системи
- •2.3.3. Побудова пс засобами uml
- •2.4. Парадигма компонентного програмування
- •2.4.1. Теоретичні аспекти компонентного програмування
- •2.4.2. Моделі компонентного програмування
- •2.4.3. Графове подання компонентної моделі ПрО
- •2.4.4. Об’єднання компонентів. Модель середовища
- •2.4.5. Компонентна алгебра
- •2.4.6. Іінструментальні засоби кп
- •2.4.7. Технологія компонентної розробки пс
- •2.4.8. Типізація і класифікація програмних компонентів
- •2.4.9. Жц проектування пс із типових компонентів та кпв
- •Розробка вимог до пс – це формування та опис функціональних, технологічних, організаційних та ін. Властивостей програмної системи, які необхідні чи бажані з точки зору кінцевого користувача.
- •Розгортання рпс. У випадку, коли рпс створюється для конкретного замовника, який є і користувачем, то деякі завдання розгортання виконуються на попередніх етапах. До них, зокрема, відносяться:
- •Супровід рпс компонентній пс характеризується наступними особливостями.
- •2.5. Парадигма аспектно-орієнтованого програмування
- •2.5.1.Основні елементи парадигми аоп
- •2.5.2. Засоби аоп
- •2.5.3. Підтримка аоп впродовж життєвого циклу пс
- •2.5.5. Методичні аспекти аоп
- •2.6. Парадигма генерувального програмування
- •2.6.1 Предметно-орієнтована мова – dsl
- •2.6.2. Простір проблем і рішень ПрО
- •2.6.3. Інженерія ПрО і кпв
- •2.7. Сервісно-орієнтоване програмування
- •2.7.1 Базові понятті сервісу Інтернет
- •2.7.2. Сервіси wcf мs.Net з контрактами
- •2.8. Парадигми теоретичного програмування
- •2.8.1 Алгебраїчне та інсерційне програмування
- •2.8.2. Реалізація агентних програм
- •2.8.3. Експлікативне, номінативне програмування
- •2.8.4. Алгоритмічні алгебри
- •Контрольні питання і завдання до частини 2
- •Список літератури до частини 2
- •Частина 3. Моделі і засоби проектування предметних областей
- •3.1. Моделі проектування ПрО предметних областей
- •3.1.1. Концептуальні моделі пс, спс за компонентами
- •3.1.2. Моделі взаємозв’язку об’єктів
- •3.1.3. Модель інтеграції (зборка) компонентів
- •3.1.4. Тестування прикладних і інтерфейсних об'єктів
- •3.1.5. Моделі взаємодії і варіабельності пс для організації обчислень
- •3.1.6. Підхід до виконання пс в сучасних розподілених середовищах
- •3.2. Онтологічний підхід до подання знань про проблемні області
- •3.2.1. Онтологічне моделювання проблемної області
- •3.2.2. Мовний опис онтології домену чи спс
- •3.2.3. Підхід до реалізація онтології ПрО
- •3.3. Типи даних та засоби їх генерації для використання в збиральному прогрмуванні
- •3.3.1. Проблема забезпечення сумісності типів даних при зборки кпв
- •3.3.2. Аксіоматика простих типів даних
- •3.3.3. Аксіоматика структурних і складних типів даних. Структурні типи даних.
- •3.3.4. Семантичні аспекти взаємодії різнорідних програм
- •3.3.5. Характеристика типів даних для зборки програм
- •3.3.6. Фундаментальні і загальні типи даних
- •3.3.6. Баові поняття стандарту з типів даних
- •3.3.7. Перебудова загальних типів даних до фундаментальних для мп
- •3.4. Підходи і методи доказу програм
- •3.4.1. Мови специфікації програм –vdm, raise, Concept
- •3.4.2. Концепторна мова специфікації
- •3.4.3. Методи доведення правильності програм
- •3.4.4. Модель доказу програми за твердженнями
- •З.5. Проектування пс засобами жц з реалізації доменів
- •3.4.1. За загальна характеристика стандарту жц iso/iec 12207:2002
- •3.4.2. Формування конкретних моделей життєвого циклу
- •3.4.3. Підходи до моделювання ПрО мовними засобами dsl
- •3.6. Модель якості пс
- •3.6.1. Структура моделі якості
- •3.6.2. Модель витрат сосомо Боєма
- •3.6.3. Інтегрована модель витрат на спс
- •Контрольні питання і завдання до частини 3
- •Список літератури до частини 3
- •4.1.1. Моделі взаємодії компонентів у пс
- •Частина 4. Методи індустрії виробицтва програм і систем
- •4.1. Загальні основи методології виробництва пс і спс
- •4.1.2 Методологічні аспекти виробництва спс з готових ресурсів
- •4.2. Мова опису моделей взаємодії на основі xml
- •4.2.1 Подання та обмін даними в компонентних моделях
- •4.2.3 Модель конфігурації компонентів на основі xml
- •4.3. Графове подання пс і спс
- •4.3.1 Графове визначення моделі взаємодії об'єктів
- •4.3.2 Типи зв’язків об’єктів у графової моделі ПрО
- •4.4. Розробка методів побудови проблемно-орієнтованих технологій
- •4.4.1. Аналіз динаміки розвитку фабрик програм
- •4.3.2. Базисні ресурси фабрики програм
- •4.5. Загальні лінії виробництва програм з кпв
- •4.4.1. М етодологія побудови тл
- •4.4.2. Нові дисципліни індустрії наукового совтвера
- •4.4.3. Новітні засоби Grid і Cloud для обчислення задач e–sciences
- •4.4.4. Сучасні системи побудови рпс з сервісних ресурсів
- •4.4.5. Методологія розроблення тл
- •4.4.6. Принципи проектування іс
- •4.5. Методи при оцінюванні економічних характеристик проектів
- •4.5.2. Формальний апарат експертно-аналітичного оцінювання об’єктів і процесів у спс
- •4.5.3. Методи оцінки розміру
- •4.6. Створення Windows застосувань
- •4.6.1. Створення нової програми.
- •4.6.2. Властивості і дизайн програм
- •4.6.3. Компіляція програм
- •2.5. Запуск застосунка
- •4.6.4. Розширення функціональності програм
- •4.7. Інженерії тестування програмних систем
- •4.7.1. Основні поняття інженерії тестування
- •4.7.2 Становлення інженерії тестування
- •4.7.3. Методи тестування. Метрики і критерії
- •4.7.4. Інструменти тестування та оцінювання
- •4.7.5. Тестування веб-застосувань
- •Контрольні питання і завдання до частини 4
- •Список літератури до частини 4
- •5.2. Фабрика програм в кну
- •5.2.3. Створення фабрики студентів
- •5.2.4. Лінії продуктів фабрики на головної сторінки
- •5.2.5. Принципи роботи з репозиторієм програм і артефактів
- •5.2.6. Навчання дисципліні “Програмна інженерія” на фабрики
- •5.3. Репозиторій кпв
- •5.3.1. Загальний опис репозиторію
- •5.3.2. Технологія обслуговування репозиторію кпв
- •5.4. Розробка кпв
- •5.4.1. Опис моделей кпв, інтерфейсу і операцій розробки кпв
- •5.4.2. Реалізація побудови компонентної системи
- •5.4.3. Процеси технології оброблення кпв
- •5.4.4. Зборка різномовних програм у середовищі Visual Studio
- •5.5. Конфігурація кпв
- •5.5.1. Конфігурування кпв з урахуванням варіабельності
- •5.5.2. Опис прикладу використання конфігуратору програм
- •5.6. Генерація систем мовою dsl
- •5.6.1. Лінія опису та генерації доменів dsl
- •5.6.2. Опис життєвого циклу пз та його реалізації на мові dsl
- •2.7. Онтологія – обчислювальна геометрія
- •5.7.1. Онтологія домену – Обчислювальна геометрія
- •5.7.3. Опис моделі онтології ПрО «Обчислювальна геометрія»
- •5.7.4. Опис програми домену «Обчислювальна геометрія» мовою owl
- •5.8. Оцінка якості пс
- •5.8.2. Оцінка витрат на продукт
- •5.8.3. Опис модуля прогнозування трудовитрат на розробку пс
- •5.8.4. Приклад оцінювання затрат на розробку пс ас
- •5.9.1. Опис веб-технології Java ee
- •5.9.3. Приклад взаємодії Java і ms.Net через веб-сервіси
- •5.9.4. Інструкція по використанню графічного інтерфейсу прикладу
- •5.10. Генерація тд
- •5.10.1. Відображення типів даних у середовищі ітк
- •5.10.2. Система генерації загальних типів даних до фундаментальних
- •5.11. Інструментальні засоби сайта ітк
- •5. 12. Розділ сайта «Технологія навчання»
- •Контрольні питання і завдання до частини 5
- •Список літератури до частини 5
- •Післямова
- •Додаток 1. Парадигма структурного програмування
- •Додаток 2. Приклад створення служб wcf у ms Visual Studio 2010
- •Додаток 3. Онтологічний підхід з подання тестування кпв та пс
- •Додаток 4. Оцінка застосування метода сосомо на конкретних даних
- •Додаток 5. Програма курсу «Технологія програмування іс»
Контрольні питання і завдання до частини 1
1. Визначите програмування і перших програмістів СРСР
2. Охарактеризуйте появу технології програмування, її цілі і завдання. Хто ініціатор ТП?
3. Коли з’явилася програмна інженерія і які у неї завдання
4. Дайте загальні характеристики модульного і збирального підходу
5. Яке призначення методу візуального проектування систем UML
6. Наведіть основи компонентного програмування і шляхи їхнього використання.
7. Дайте визначення моделей для різних компонентних структур.
8. Визначити сутність класифікації і типізації компонентів
9. Визначте основні елементи аспектно-орієнтованого програмування.
10. Визначте сутність і призначення сервісів у сучасному програмуванні
11. Визначте об'єкти генерувального програмування і наведить підхід до розроблення
скланих систем і сімейств .систем.
12. Що таке простір проблем і простір рішень?
13. Наведіть теоретичні методи програмування.
14. Назвіть сутність методів програмування вітчизнах вчених ( О.А.Летічевского,
Г.Е Цейтліна,, В.Н.Редько)
15. Охарактеризуйте алгебраїчне програмування та алгоритміку і її алгебру?
17. Покажіть сутність переходу від однієї алгебри до інших алгебр.
Список літератури до частини 1
Китов А.И, Криницкий И.А., Комолов П.И. Элементы программирования.– Физматгиз.- 1956.
Лебедев С.А. «Быстродействующая электронные машины АН СССР.– Физматгиз.– 1952,
Лебедев С.А., Мельников В.А.. Общее описание БЭСМ и методика выполнения операций.– Физматгиз.– 1958.
Трахтенгерц В.А., Алгоритмы и машинное решение задач.– Гос.изд.техн.–теорет.литер., 1957
Ляпунов А,А., Шестопалов Г.А. Начальные сведения о решении задач для ЭВМ.–М.: Математическое просвещение, №3, 1957.
Капитонова Ю.В., Летичевский А.А. Парадигмы и идеи академика В.М. Глушкова.– Киев, Наук. Думка.– 2003.–355 с.
Глушков В.М., Лаврищева Е.М., Стогний А.А., Моренцов Е.И. и др. Система автоматизации производства программ (АПРОП). – Киев: Ин – т кибернетики АН УССР, 1976. – 134 с.
Глушков В.М., Капитонова Ю.В., Летичевский А.А. О применении метода формализованных технических заданий к проектированию программ обработки структур данных.– Программирование, 1978, №6, с.31–40.
Глушков В.М. Фундаментальные основы и технология программирования //Программирование, 1980.–№2.–с.3–13.
Глушков В.М. Основы безбумажной информатики.– М.: Наука, 1982. – 552 с.
Єршов А.П., Любимський Є.З. Програмуюча програма.–М.: МГУ, 1955.–31с.
Іванніков В.П. Мова системного програмування–М.: ІТМ і ОТ, 1959.
ІІ Всесоюзная конференция «Технология программирования. Информационные материалы и тезисы пленарных докладов.–Киев, Ин–т Кибернетики Н УССР, 1986. – 134 с.
Ющенко К.Л. Адресне програмування.–К.:1962.
Глушков В,М., Цейтлин Г.Є., Ющенко Е.Л. Алгебра. Языки. Программирование.– К,: Наукова Думка, 1972.– 318 с.
Ершов А.П. Введение в теоретическое программирование.– М.: Наука, 1977.–286 с.
Тыугу Э.Х. Концептуальное программирование.–М.:.Наука, 1984.–256 с.
Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс автоматизации программ на машинах ЕС ЭВМ и БЭСМ–6. М.: Финансы и статистика.–1980.–253 с.
Вельбицкий И.В. Технология программирования.–К.:Техника, 1984.–284 с.
Лаврищева Е.М., Грищенко В.Н. Cвязь разноязыковых модулей в ОС ЕС.–М.: Финансы и статистика, 1982. – 127 с.
Сергиенко И.В. Вопросы разработки прикладного математического обеспечения ЭВМ и систем. – К.: ИК им. В.М. Глушкова, 1987. – 36 с.
Редько В.Н., Сергиенко И.В., Стукало А.И. Пакеты прикладных программ.–Наук. думка, 1992.–356 с.
Редько В.Н. Композиции программ и композиционное программирование Программирование, 1978.–№5.–с.17–26.
Молчанов И.Н. Машинные методы решения задач прикладной математики. К.: Наук думка, 2007. –550 с.
Глушков В.М. Абстрактная теория автоматов // Успехи мат. Наук.–16, № 5.–с. 3–62.
Глушков В.М. Теория алгоритмов.– К.:КВИРТУ.– 167 с.
Глушков В.М. Синтез цифровых автоматов..– М.:Физмат. изд.– 476 с.
Глушков В.М. Введение в кибернетику.– К.: Изд. АН УССР .–324 с.
Глушков В.М. Кибернетика, ВТ, информатика (АСУ).–Избр. труды в 3-х томах. –К.: Наук. думка, 1990, 262 с, 267 с., 281 с.
Андон Ф.И., Дорошенко А.Е., Цейтлін Г.Е., Яценко Е.Л. Алгеброалгоритмические модели и методы параллельного програмування. –К.: Академпериодика, 2007. – 632 с.
Лаврищева Е.М. Основы ТПР прикладных программ СОД. – К., 1987. – 30 с.
Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. – К.: Наук. думка, 1991. – 213 с.
Лавріщева К.М. Кібернетика, інформатика та програмна інженерія. Аспекти розвитку // Проблеми програмування. – 2010. – № 1. – С. 3–14.
Бабенко Л.П., Лавріщева К.М. Основи програмної інженерії. – К.: Знання, 2001. – 269 с.
Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения. – М.: МОН Российской Федерации, 2007. – 415 с.
Лавріщева К.М. Програмна інженерія. – К.: Академперіодика, 2008. – 319 с.
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. – К.: Наук. думка, 2006. – 451 с.
Лавріщева К.М. Програмна інженерія – напрями розвитку //Пр. Міжнар. конф..”50–років Інституту кібернетики імені В.М.Глушкова НАН України.–Кієв.– с.336–345.
Фуксман А.Л. Технологические аспекты создания программных систем. – М.: Статистика, 1979. – 184 с.
Основы инженерии качества программных систем / Ф.И. Андон, Г.И. Коваль, Т.М. Коротун и др. – К.: Академпериодика, 2007. – 672 с.
Задорожна Н.Т., Лавріщева К.М.Менеджмент документообігу в інформаційних системах освіти.– Педаг. Думка, К.:2007.–224 с.
Андон Ф.И., Лаврищева Е.М. Методы инженерии распределенных компьютерных приложений.–К: Наук. думка, 1997. – 228 с.
Лаврищева Е.М. Становление и развитие модульно-компонентной инженерии программирования в Украине. – К.: ИК им. В.М. Глушкова, 2008. – 33 с.
Андон П.І., Лавріщева К.М. Розвиток фабрик програм в інформаційному світі // Вісник НАН України. – 2010. – № 10. – C. 15–41.
Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов. – К.: Наук. думка, 2009. – 371 с.
Чернецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. – СПб: Питер, 2005. –730 с.
Бей И. Взаимодействие разноязыковых программ. – М.: Вильямс, 2005. – 868 с.
Гринфилд Дж. Шорт К., Кук С и др. Фабрики разработки программ. Потоковая сборка типовых приложений, моделирование, структуры и инструменты. – М.: Вильямс, 2007. – 591 с.
Lenz G and Wienands C. Practical Software Factories in .NET. –From theory to Practice –A Primer Reference and Case Study. –Apress. –2007.–205 c.
Duval P., Matyas, Grover A. Continuous integration Împroving Software Quality and Reducing Risk, Addison Wesley, 2009.
Лавріщева К.М., Коваль Г.І., Бабенко Л.П. та ін. Нові теоретичні засади технології виробництва сімейств програмних систем у контексті генерувального програмування. – ВИНИТИ РФ, 2012.– №2– 3, Анот.– с.1– 2, 277 с.
Лавріщева К.М. Концепція індустрії наукового софтвера і підхід до обчислення наукових задач // Проблеми програмування. – 2011.– № 1. – С. 3–17.
Анісімов А.В., Лавріщева К.М., Шевченко В.П. Про індустрію наукового софтвера // Theoretical and Applied Aspects of Cybernetics. Proc. Int. Sci. Conf. Students and Young Scientists (21–25 Feb. 2011, Kyiv, Ukraine). K.: Bukrek, 2011.– P. 65–67.
Аронов А.О. Дзюбенко А.І. Підхід до створення студентської фабрики програм // Проблеми програмування. – 2011. – № 3. – С. 42–49.
Лаврищева Е.М. Теория и практика фабрик программных продуктов// Кібернетика и системный анализ.–2011, №6.–с.145–158.
Лавріщева К.М. Інструментально–технологічний комплекс для розробки и навчання прийомам виробництва програмних систем.– Кіїв.–Вісник НАН України, 2012.–№3.–с.17–26.
Лавріщева Е.М., Зинькович В.М., Колесник А.Л. і др. Інструментально-технологичний комплекс розробки и навчання прийомам виробництва програмних систем.– Державна служба інтелектуальної власності України.– Свідоцтво про реєстрацію авторського права на твір.– № 45292, від 27.08.2012.
Лавріщева К., Стеняшин А. Підхід щодо трансформації загальних типів даних стандарту ISO/IEC 11404 для використання в гетерогенних середовищах//2nd International Conference on High Performance Computing, October 8– 10, 2012, Kyiv.– Ukraine.– c.227– 234.
Лавріщева К.М.,Слабоспицька О.О. Коваль Г.І., Колесник А.Л. Теоретичні аспекти керування варіабельністю в сімействах програмних систем // Вісник КНУ, сер. фіз.–мат.наук. – 2011. – № 1. – С. 151–158.
Лавріщева К.М. Базові основи індустрії програм, обчислень і даних//Проблеми програмування (Спецвипуск конференції УкрПРОГ–2012). – №2–3. – C. 50–62.
Лавріщева К.М. Компонентне програмування. Теорія і застосування// Проблеми програмування. – 2012. – № 4. – С. 3–19.
Лаврищева Е.М. Технология электронного обучения базовым основам программной инженерии. – УСиМ, 2012.– №5.– с.51– 62.
