МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів
Контакти
Тлумачний словник Авто Автоматизація Архітектура Астрономія Аудит Біологія Будівництво Бухгалтерія Винахідництво Виробництво Військова справа Генетика Географія Геологія Господарство Держава Дім Екологія Економетрика Економіка Електроніка Журналістика та ЗМІ Зв'язок Іноземні мови Інформатика Історія Комп'ютери Креслення Кулінарія Культура Лексикологія Література Логіка Маркетинг Математика Машинобудування Медицина Менеджмент Метали і Зварювання Механіка Мистецтво Музика Населення Освіта Охорона безпеки життя Охорона Праці Педагогіка Політика Право Програмування Промисловість Психологія Радіо Регилия Соціологія Спорт Стандартизація Технології Торгівля Туризм Фізика Фізіологія Філософія Фінанси Хімія Юриспунденкция |
|
|||||||
Список літератури до частини 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.
Читайте також:
|
||||||||
|