Контрольні питання і завдання до частини 3

1. Визначите підхід до проектування моделі ПрО

2. Дайте характеристику моделей взаємодії і варіабельності

3. Визначити проектування ПС і СПС за ЖЦ 12207

4. Що таке фундаментальні і загальні типи даних

5. Які методи трансформації даних в МП і при передачі даних між різними компонентами.

6. Сутність семантики типів даних

7. Онтологічний підхід до проектування моделей ПрО

8. Які мови використовуються при опису онтологій?

9. Для яких моделей предметних областей можливо побудувати онтологічні моделі?і

10. Що таке за напрям – якість програмного продукта?

11. Які є моделі якості, витрат та вартості.

Список літератури до частини 3

1. Лаврищева Е.М. Становление и развитие модульно-компонентной инженерии программирования в Украине. – Київ, 2008. – 33С. – (Препр. Ин-т кибернетики им. В.М. Глушкова; 2008–1).

2. Лаврішева К.М. Взаємодія програм, систем й операційних середовищ // Проблеми програмування. – 2011. – №3. – С. 13–24.

3. Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов. – Київ: Наук. Думка, 2009.– 371 с.

4. Лаврищева Е.М. Интерфейс в программировании // Проблеми програмування. – 2007. – № 2. – С. 126–139.

5. Лаврищева Е.М. Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению // Матер. 7 міжнар. конф. з програмування “УкрПрог –2008”– С. 28–41.

6. Лавріщева К.М., Коваль Г.І., Бабенко Л.П., Слабоспицька О.О., Ігнатенко П.П.. Нові теоретичні засади технології виробництва сімейств програмних систем у контексті ГП .– Електронна монографія, ДРНТІ.– № 67–УК–2011 від 05.10.11. – 377 с.

7. Лавріщева К.М. Інструментально-технологічний комплекс для виробництва програмних систем.– Вісник НАН, 2012.– № 3.– С. 19–23.

8. Лавріщева К.М. Програмна інженерія.– Підручник.– Академперіодика. – 2008. – 319 с.

9. Лавріщева К.М. Генерувальне програмування програмних систем і сімейств // Проблеми програмування. – 2009.– № 1. – С. 3–16.

10. Лаврищева Е.М. Концепція індустрії наукового софтвера і підхід до обчислення наукових задач // Проблеми програмування, №1, 2011. – С. 3–17.

11. Лавріщева К.М. Базові основи індустрії програм, систем і середовищ// Праці міжн. конф. УКРПрог 2012.– с.

12. Стеняшин А.Ю. Про формальний опис типів і структур даних в різнорідних програмах.– Проблеми програмування, №2, 2011.– с.50–61.

13. Лавріщева К.М. Інструментально–технологічний комплекс для розробки и навчання прийомам виробництва програмних систем.– Кіїв.–Вісник НАН України, 2012.–№3.–с.17–26.

14. Lavrischeva Ekaterina, Ostrovski Alexei and Radetskyi Igor. Approach to E–Learning Fundamental Aspects of Software Engineering //ICTERI–2012 cайт

15. Андон Ф.И., Коваль Г.И., Коротун Т.М.,Лаврищева Е.м. Суслов В.Ю. Основы инженерии качества программных систем. – К.: Академпериодика, 2007. – 860с.

16. Бабенко Л.П., Лавріщева К.М. Основи програмної інженерії: Навч. посіб. – К. Т-во “Знання”, КОО, 2001. – 296 с.

17. Лавріщева К., Стеняшин А. Підхід щодо трансформації загальних типів даних стандарту ISO/IEC 11404 для використання в гетерогенних середовищах//2^nd International Conference on High Performance Computing, October 8– 10, 2012, Kyiv.– Ukraine.– c.227– 234.

18. Kolesnyk A., Slabospitskaya O. Tested Approach for Variability Management Enhancing in Software Product Line. – In: Ermolayev V., Mayr H.C., Nikitchenko M. et al. (eds.): ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer. Proc. 8-th Int. Conf. ICTERI 2012, Kherson, Ukraine, June 6–10, 2012, CEUR–WS.org/Vol–848, ISSN 1613–0073, urn:nbn:de:0074–848–8. – P. 125–133.

19. O.Slabospitskaya, A.Kolesnyk The Model for Enhanced Variability Management Process in Software Product Line – Preproc. of 4th International United Information Systems Conference (UNISCON 2012), Crimean State Humanitarian University, Yalta, Ukraine, June 1 – June 3, 2012 – Available at http://www.uniscon.org/images/uniscon/downloads/UNISCONPapers.zip

20. О.О. Слабоспицька. Гибридная модель оценивания вариабельности семейства программных систем для эффективного управления его разработкой – Сьома міжнародна науково-практична конференція “Математичне та імітаційне моделювання систем (МОДС 2012)”. Чернігів–Жукін, 25–28 червня 2012 р. Тези доповідей – С. 407–410.

21. Марков А.А. Теория алгоритмов // Москва, АН СССР. – 1954. – 231 с.

22. Ляпунов А.А. О логических схемах программ. Проблемы кибернетики вып.1. – М.: 1958.

23. Янов Ю.И. О логических схемах алгоритмов. – Проблемы кибернетики вып.1. – М.: 1958.

24. Hoare C.A.R. Рrof of correctness of data representation // Acta Informatica, 1(4).– 271– 287. – 1972. – P. 214–224.

25. Андерсон Р. Доказательство правильности программ. – М.: Мир, 1982. – 165 с.

26. Abrial I.R., Meyer B. Spesification Language Z. – Boston: Massachusetts Computer Associates Inc., 1979. – 378 p.

27. Biorner D., Jones C.B. The Vienna Development Methods (VDM): The Meta – Language. – Vol. 61 of Lecture Notes in Computer Science. – Springer Verlag, Heiderberg, Germany, 1978. – 215 p.

28. Петренко А.К. Венский метод разработки программ // Программирование, 2001. – № 1. – С. 3–23.

29. The RAISE Methods Group. The RAISE Development Methods. BCS Practitioner Series. – Prentice Hall, 1985. – 493p.

30. Агафонов В.Н. Спецификации программ: понятийные средства и их организация. Новосибирск: Наука, 1987. – 240 с.

31. Непомнящий В.А., Сулимов А.А. Об одном подходе к спецификации и верификации трансляторов. М.: Программирование, 1983, № 4. – С. 51–58.

32. Коваль В.Н. Концепторные языки. Доказательное проектирование.– Киев.– Наукова думка, 2001.– 182с.

33. Липаев В.В. Обеспечение качества программных средств. – М: СИНЕРГ. – 2001. – 380 с.

34. ДСТУ 3918–99 Інформаційні технології. Процеси життєвого циклу програмного забезпечення. – Київ. – Держстандарт України. – 2000. – 49 с.

35. Задорожна Н.Т., Лаврищева К.М. Кероване проектування документообігу в управлінських інформаційних системах // Проблеми програмування. – 2006. – №4. – С. 37–47.

36. Бабенко Л.П., Лаврищева К.М. Основи програмної інженерії. – К.: Знання. – 2001. – 269 с.

37. Capability Maturity Model for Software, Version 1.1 / M.Paulk, B.Curtis at all // CMU– SEI– 93–TR–024, Soft. Engin. Institute, Pittsburg PA 15213, Feb. – Pittsburg. – 1993. – 82 p.

38. Мороз Г. Б., Лаврищева Е. М. Модели роста надежности ПО: Препр. / АН Украины. Ин-т кибернетики; 92–38. – Киев.: 1992.– 25 с.

39. Грищенко В.Н. Лаврищева Е.М. Компонентно-ориентироованное программирование. Состояние, направления и перспективы развития // Проблемы программирования. – 2002. – № 1–2. – С. 80–90.