Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Список літератури до частини 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 для використання в гетерогенних середовищах//2nd 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.

 

 


Читайте також:

  1. IV. СПИСОК РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ І ЗАКОНОДАВСТВА.
  2. VІ. СПИСОК РЕКОМЕНДОВАНИХ ДЖЕРЕЛ
  3. БИБЛИОГРАФИЧЕСКИЙ СПИСОК
  4. БИБЛИОГРАФИЧЕСКИЙ СПИСОК
  5. БИБЛИОГРАФИЧЕСКИЙ СПИСОК
  6. БИБЛИОГРАФИЧЕСКИЙ СПИСОК
  7. БІБЛІОГРАФІЧНИЙ СПИСОК
  8. БІБЛІОГРАФІЧНИЙ СПИСОК
  9. Будова рухомої частини приладу.
  10. В 30-х роках було зроблено спробу систематизувати курс методики викладання літератури. Виходять такі праці.
  11. В адміністративному праві виділяють загальну, особливу і спеціальну частини.
  12. В процесі читання виділіть маркером або підкресліть складові частини екосистеми.




Переглядів: 641

<== попередня сторінка | наступна сторінка ==>
Використання рівняння номінальних витрат за моделлю COCOMO II | ЧАСТИНА 4.

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

  

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.012 сек.