Список літератури до теми 1

1. Рекомендации по преподаванию программной инженерии и информатики в университетах. – Computing Curricula-2001: Computer Science. – Пер. с англ. – Интернет– Ун. информац. технологий, М.: 2007. – 462с.

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

3. Лаврищева Е.М., Грищенко В.Н. Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплине// Управляющие системы и машины. – 2005. – №1. – С. 38-54.

4. Pfleeger S.L. Software Engineering. Theory and practice. – Printice Hall: Upper Saddenle River, New Jersey, 1998. – 576 p.

5. Jacobson I. Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing. – New York: Addison-Wesley Publ. Co., 1994. – 529 p.

6. Иан Соммервил. Инженерия программного обеспечения. 6-е издание. – М.; Спб. – Киев, 2002. – 623 с.

7. Лавріщева К.М. Основні напрямки досліджень в програмній інженерії і шляхи їхнього розвитку // Проблеми програмування. – 2003. – № 3–4. – С. 44-58.

8. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. – К.: Наук. думка, 2006. – 450 с.

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

10. Лаврищева Е.М., Коваль Г.И., Коротун Т.М. Подход к управлению качеством программных систем обработки данных // Кибернетика и системный анализ. – 2006. – № 5. –С. 174-185.

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

12. Thayer R.H., ed. Software Engineering Project Management, 2 nd. ed., IEEE CS Press, Los Alamitos, Calif., 1997. – 391 p., http://petukhov.zaklad.ru/rmbok2004_rus.pdf

13. Кендалл С. Унифицированный процесс. Основные концепции. – М.: – СПб. – К., 2002. – 157 с.

Список літератури до теми 2

1. ISO/IEC 12207: 1995–0801: Informational Technology – Software life cycle processes. // ГОСТ Р ИСО/МЭК 12207-99. Информационная технология. Процессы жизненного цикла программных средств.

2. Лаврищева Е.М., Грищенко В.Н. Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплины// Управляющие системы и машины. – 2005. – №1.– С.38-54.

3. Васютович В., Самотохин С., Никифоров Г. Регламентация жизненного цикла программных средств // ifrsmov@gost.ru

4. Вендеров А.М. Проектирование программного обеспечения экономических информационных систем. – М.: Финансы и статистика, 2000. – 347 с.

5. Орлов С.А. Технологии разработки программного обеспечения. – Спб.: Питер, 2002. – 463 с.

6. Соммервил И. Инженерия программного обеспечения. 6-е издание. – М.– С-Пб.–Киев, – 2002. – 623 с.

7. Лаврищева Е.М., Коротун Т.М. Построение процесса тестирования программных систем // Проблемы программирования. – 2002. – № 1-2. – С. 272-281.

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

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

1. Вигерс К.И. Розробка вимог до ПЗ. – М.: Російська редакція Microsoft, 2004. – 575 c.

2. Леонов И.В. Введення в методологію розробки програмного забезпечення за допомогою Rational Rose // Ескейп, 2004. – 301 с.

3. Zave P., Jackson M. Four Dark Corners of Requirements Engineering // ACM Transactions on Software Engineering, January 1997. – № 1.

4. Pinheiro Francisco A. C., Goguen Joseph A.. An Object-Oriented tool for Tracing Requirements // Software. – Mach 1996. – № 3.

5. Guckkenheimer S., Peter J. Software Engineering With Microsoft Visual Studio. Team System. – Adison Wesley, 2006. – 273 p.

Список літератури до теми 4

1. Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. – Киев: Диалектика, 1993. – 240 с.

2. Coad P.,Yourdan E. Object-oriented analysis. – Second Edition. – Prentice Hall, 1991. – 296 p.

3. Yourdan E. Modern Structured Analysis. – New York: Yourdan Press / Prentice Hall, 1988. – 297 p.

4. DeMarko D.A., McGovan R.L. SADT: Structured Analysis and Design Technique. New York: Mcgray Hill, 1988. – 378 p.

5. Yourdan E., Constantine L. Structured Design. Yourdan Press. Engwood Cliffs – N.J. – 1983.

6. Martin J., Odell J.J. Object-oriented analysis and design.–Prentice Hall, 1992. – 367 p.

7. Barker R. CASE-method. Entity Relationship Modelling. – Copyright ORACLE Corporation UK Limited–New York: Publ., 1990. – 312 p.

8. Schardt J.A. Assentials of Distributed Object Design M.S.E. Advanced Concepts Center, 1994. – P. 225-234.

9. Rumbaugh J., Blaha V., Premerlani W. Object-Oriented Modelling and Design, Englewood Cliffs.– NJ: Prentice Hall, 1991. – 451 p.

Гради Буч. Объектно-ориентированное проектирование. – 3-е издание. – М.: Бином, 1998. – 560 с.

11. Jacobson I. Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing. – New York: Addison-Wesley Publ.Co. – 1994. – 529 p.

12. Андон Ф.И., Яшунин А.Е., Резниченко В.А. Логические модели интеллектуальных информационных систем. – Киев: Наук. думка, 1999. – 396 с.

13. Чернецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. – Издательский дом «Питер». – М.: СПб. – Харьков – Минск, – 2005. – 730 с.

14. Фреге Г. Логика и логическая семантика. – М.: Аспект–пресс, 2000. – 512 с.

15. Орфали Р., Харки Д. Эдвардс Дж. Основы CORBA. – Из.-во «Малип», М.: 1999. –317с.

16. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI. – М.: Мир, 2002. – 510 с.

17. Рамбо Дж., Джекобсон А, Буч Г. UML: специальный справочник. – СПб.: Питер. – 2002. – 656 с.

18. Боггс У., Боггс М. UML Rational Rose. Бестселлер #, Лори. – Москва, 2000. – 580 с.

19. Кендалл Скотт. Унифицированный процесс. Основные концепции. – М.: СПБ. – Киев. – 2002. – 157 с.

Список літератури до теми 5

1. Demark D.A., McGowan R.L. SADT: Structured Analysis and Design Technique. New York: McCray Hill, 1988. – 378 c.

2. Skidmore S., Mills G. Farmer R. SSADM: Models and Mehtods. – Prentice-Hall, Englewood Cliffs, 1996. – 581с.

3. Марка Д.А., МакГруэн К. Методология структурного анализа и проектирования. – М.: МетаТехнология, 1997.– 346 с.

4. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2–е изд. – М.: Изд–во Бином, 1998. – 560 с.

5. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно- ориентированного проектирования. Паттерны проектирования. – СПб: Питер, 2001. – 368 с.

6. The Unified Modeling Language (UML) Specification. – 1.3. UML Specification, revised by the OMG. – July 1999. – 620 p.

7. Рамбо Дж., Джекобсон А, Буч Г. UML. Специальный справочник. – СПб.: Питер. – 2002. – 656 с.

8. Сrnkovik I, Larsson S., Stafford J. Component–Based Software Engineering: building systems from Components at 9th Conference and Workshops on Engineering of Computer-Based Systems.– Software Engineering Notes. – 2002. – 27. – N 3.– Р. 47-50.

9. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns, Elements of Reusable Object–oriented Software, – N.-Y.: Addison–Wesley, 1995. – 345 p.

10. Грищенко В.Н., Лаврищева Е.М. Методы и средства компонентного программирования // Кибернетика и системный анализ, 2003. – №1. – С. 39-55.

11. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. Киев: Наукова думка, 2006. – 451с.

12. Weide B., Ogden W., Sweden S. Reusable Software Components / Advances in Computers, 33. – Academic Press, 1991. – P. 1-65.

13. Jacobson I., Griss M., Johnson P. Software Reuse: Architecture, Process and organization for Business Success – Addison Wesley, Reading, MA, May 1997. – 501 p.

14. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI. – М.: Мир, 2002. – 510 с.

15. Kiselev. I. Aspect-Oriented Programming with AspectJ. Indianapolis, IN, USA: SAMS Publishing, 2002. – 164 p.

16. Павлов В. Аспектно-ориентированное программирование //Технология клиент-сервер, № 3-4. – С. 3-45.

17. Чернецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. – Издательский дом Питер. – М.: СПб. – Харьков. – Минск, 2005. – 730 с.

18. Yang J. Web Services Componentization//Ibid.–P.35-40.

19. Плескач В.Л., Рогушина Ю.В. Агентные технологии. – К.: КНТЕУ, 2005.– 337с.

20. Shoham. Y. Agent-oriented programming. – Artif.Intell. – 1993–60, №1. – P. 51-92.

21. Трахтенгерц Э.А. Взаимодействие агентов в многоагентных средах // Автоматика и телемеханика. – М.: Наука. – 1998. – 8. – С. 3–52.

22. Дрейган Р. Будущее программных агентов. – РС Magazine March 25, – 1997. – 190 c.

23. Якобсон А. Мечты о будущем программирования. Открытые системы. – М.: – 2005. – № 12. – С. 59–63.

24. Летичевский А.А., Маринченко В.Г. Объекты в системе алгебраического программирования // Кибернетика и системный анализ. – 1997.– № 2. – С. 160-180.

25. Летичевский А.А., Капитонова Ю.В., Волков В.А., Вышемирский В.В., Летичевский А.А. (мл.). Инсерционное программирование // Там же. – 2003. – № 1.– С. 12-32.

26. Инсерционное программирование / Летичевский А.А., Капитонова Ю.В., Волков В.А., Вышемирский В.В., Летичевский А.А. (мл.) // Кибернетика и системный анализ. – 2003, №1. – С.19-32.

27. Редько В.Н. Экспликативное программирование: ретроспективы и перспективы // Проблемы программирования. – 1998. – № 2. – С. 22-41.

28. Редько В.Н. Основания программологии // Там же. – 2000.– № 1. – С. 35-57.

29. Никитченко Н.С. Композиционно–номинативный подход к уточнению понятия программы // Там же. – 1999. – № 1. – С. 16-31.

30. Цейтлин Г.Е. Введение в алгоритмику. – Изд.–во Фара, 1999. – 310 с.

31. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – К.: Наук. Думка, 1978. – 339 с.

32. Ершов А.П. Введение в теоретическое программирование. – М.: Наука, 1959. – 263 с.

33. Дорошенко А.Ю., Фінін Г.С., Цейтлін Г.О. Алгеброалгоритмічні основи програмування. –К.: Наук.думка, 2004. – 457с.

Список літератури до теми 6

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

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

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

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

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

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

7. 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.

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

9. The RAISE Language Group. The RAISE Spesification Language. BCS Practitioner Series. – Prentice Hall, 1982. – 397 p.

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

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

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

13. Непомнящий В.А., Шилов Н.В., Бодин Е.В. Спецификация и верификация распределенных систем средствами языка Elementary-real// М.: Программирование. – 1999. – № 4. – С. 54-67.

14. Вудкок Д. Первые шаги к решению проблемы верификации программ// Открытые системы. – 2006. –№8.– С. 36-43.

15. Hoare T., Misra J. Verified software: Theories, Tools, Experiments. Vision of Grant Challenge project.–Microsoft Research Ltd and the University of Texas at Austin, 2005. – С. 1–43.

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

17. Хоар Ч., Лауер П.Е. Непротиворечивые взаимодополняющие теории семантики языков программирования// М.: Мир, 1980. – C. 186-221.

18. Dolores R. Wallase M. Ippolito, Cuthill B. Reference Information for the Software Verification and Validation Process // NIST Special Publication. – 1996. – 80 p.

19. Herhart S.L. Program Verification in the 90’s.// Proc. Conf. on Computing in the 1980’s, 1978. – P.80-89.

20. Fei Xie and James C. Browne. Verified Systems by Composition from Verified Components {feixie, browne}@cs.utexas.edu.

21. Майерс Г. Искусство тестирования программ. – Пер.с англ. M.: Финансы и статистика. – 1982. – 176 с.

22. Иванников В.П., Дышлевый К.В., Мажелей С.Г., Садовская Д.Б., Шебуняев А.Б. Распределенные объектно-ориентированные среды // М.: Труды ИСП РАН, 2000. – с. 84-100

23. Липаев В.В. Тестирование программ. – М.: Радио и связь, 1986. – 295 с.

24. Канер С., Фолк Д., Нгуен Е.К. Тестирование программного обеспечения: Пер с англ. – Киев: DiaSoft. – 2000. – 544 с.

25. Weyuker E.J., Ostrand T.J. Theories of program testing and the application of revealing subdomains // IEEE Trans.Soft.Eng. – 1980. – 6. – №. 3, – P. 236-246.

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

27. http://research.microsoft.com/specsharp/

28. ISO/IEC 12207: 2002. Information technology – Software life cycle processes). Информационные технологи. – Процессы жизненного цикла программного обеспечения.

29. Соммервил И. Инженерия программного обеспечения. –6 издание. – Москва – СПб – Киев, 2002. – 623 с.

30. CASE–93. Proceeding Sixth Intern. // Workshop on Computer Aided Software Engineering. – Singapure. – 1993. – July 19-23. – 418 p.

31. Лаврищева Е.М., Коротун Т.М. Построение процесса тестирования программных систем // Проблемы программирования. – 2002. – № 1-2. – С. 272-281.

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

33. Коротун Т.М. Модели и методы инженерии тестирования программных систем в условиях ограниченных ресурсов. – Автореф. дис. канд.-физ.-мат. наук. – Киев: Ин-т кибернетики им. В.М. Глушкова НАН Украины, 2005. – 21 с.

Список літератури до теми 7

1. Англо-український тлумачний словник з обчислювальної техніки, Інтернету, програмування. – К.: СофтПрес, 2006. – 823 с.

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

3. Wegner P. Interaction Foundation of Object–oriented Programming ECOOP – 97 th Europian Conference on OOP Finland, June 9–12, 1997.–С.123-139.

4. Летичевский А.А, Маринченко В.Г. Объекты в системе алгебраического программирования // Кибернетика и системный анализ. – 1997.– № 2. – С. 160-180.

5. Open Software Foundation. Introduce to Open Software Foundation. Distributed Computed Environments. – Englewood Cliffs: Prentice Hall, 1993. – 437 p.

6. Corbin J. The art of Distributed Application. Programming Techn. For Remote Procedure Calls. – Berlin: Springer Verlag, 1992. – 305 p.

7. Роджерсон Д. Основы СОМ. Руск.пер. – Microsoft Press, 1996. – 361 c.

9. Монсон–Хейфел Р. Enterprise JavaBeans. – СПб: Символ-Плюс, 2002. – 672 с.

10. Барлет Н., Лесли А., Симкин С. Программирование на JAVA. Путеводитель. – Киев, 1996. – 736 с.

11. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI. – М.: Мир, 2002. – 510 с.

12. Иванников В.П., Дышлевый К.В., Мажелей С.Г., Содовская Д.Б., Шебуняев А.Б. Распределенные объектно-ориентированные среды. // М.: РАН. ИСП. Труды ИСП, 2000. – С. 84-100.

13. Лаврищева Е.М., Грищенко В.М. Сборочное программирование. – Киев: – Наук.думка, 1991. – 213 с.

14. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. Киев: Наук. думка, 2006. – 451с.

15. Бей И. Взаимодействие разноязыковых программ. Руководство программиста. – М.: Издательский дом «Вильямс», М. – СПб.– Киев, 2005. – 880 с.

16. ИСО/МЭК 11404:1996. Информационные технологии. Языки программирования, их среда и системный интерфейс. Независимые от языков типы данных / Межгосударственный стандарт. – Межгосударственный совет по стандартизации, метрологии и сертификации, 2000. – 112 с.

17. Фаулер М. Рефакторинг: улучшение соответствующего кода. – СПб.: Символ-Плюс, 2003.– 432 с.

18. Пантелеймонов А.А. Аспекты реинженерии приложений с графическим интерфейсом пользователя // Проблемы программирования. – 2001. – № 1– 2. – С. 53-62.

19. Бабенко Л.П., Лаврищева Е.М. Основы программной инженерии.–Киев: Знание. – 2001. – 269 с.

20. Джордан Д. Обработка объектных бах данных в С++. Программирование по стандарту ODMG: Пер.с англ. – М.: Издательский дом «Вильямс», 2001. – 384 с.

21. Дунаев С.Б. Доступ к базам данных и техника работы в сети. – М.: Диалог-Мифи, 1999. – 416 с.

22. Lanza M., Ducasse S. Polimetric Views – A lightweight Visual Approach to Reverse Engineering // IEEE Transaction on Software Engineering. – 2003.– Sept., № 3 (ISSN 0098–5589). – P. 782-796.

23. Соммервилл И. Инженерия программного обеспечения. – М.: Изд. Дом «Вильямс». 24. Гласс Г., Нуазо Р. Сопровождение программного обеспечения. Пер. с англ. // Под ред. Ю.А.Чернышова. – М.: Мир. – 1983. – 256 с.

Список літератури до теми 8

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

2. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. Киев: Наукова думка, 2006. – 451с.

3. Crarnetcki K. Owerview of Generative Software Development // Canada, www.crarnetcki.fcm.org

4. Чернецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. – Издательский дом «Питер». – М.: СПб.– Харьков – Минск. – 2005 – 730 с.

5. Fowler M. Language Workbenches and Model Driven Architecture. http://martinfowler.com/articles/mdaLanguageWorkbench.html

6. Mernik Marjan, Anthony M. Domain-Specific Languages for Software Engineering. Sloane. Proceedings of the 36th Hawaii International Conference on System Sciences.

7. Meyer B. On to Components. Computer. – Vol. 32, N 1, January 1999. – pp. 139-140.

8. Lowy J. COM and NET Component Services. – O’Reilly, 2001. – 384 p.

9. Batory D., O’Malley S. The Design and Implementation of Hierarchical Software Systems with Reusable Components / ACM Transactions on Software Engineering and Methodology. – № 4, vol. 1, October 1992. – P. 355-398.

10. Weide B., Ogden W., Sweden S. Reusable Software Components/ Advances in Computers, vol. 33. – Academic Press, 1991. – P. 1-65.

11. Jacobson I., Griss M., Johnson P. Software Reuse: Architecture, Process and organization for Business Success – Addison Wesley, Reading, MA, May 1997. – 501 p.

12. Northrop L.M. SEI`s Software Product Line Tenets // IEEE Software. – 2002.– v. 19. – № 4. – Р. 32-39.

13. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Featureoriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.

14. Mezini, M., Ostermann, K.: Variability management with feature-oriented programming and aspects. In: Foundations of Software Engineering (FSE-12), ACM SIGSOFT (2004)

15. Wilson С., Maples B., Londgrave T. Принципы проектирования и разработки программного обеспечения. – Учебный курс. – Пер.с анг. – М.: Русская редакция, 2000. – 559 с.

16. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. – М.: ДМК, 2000, – 432 с.

17. Кендалл Скотт. Унифицированный процесс. Основные концепции. – Москва – СПб – Киев, 2002. – 157 с.

19. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI. – М.: Мир, 2002. – 510 с.

20. Барлет Н., Лесли А., Симкин С. Программирование на JAVA. Путеводитель. – Киев. – 1996. – 736 с.

21. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно- ориентированного проектирования. Паттерны проектирования. – СПб: Питер, 2001. – 368 с.

Список літератури до теми 9

1. ISO/IEC 9126. Infofmation Technology. – Software Quality Characteristics and metrics. – 1997.

2. ДСТУ 2844–1994. Программные средства ЭВМ. Обеспечение качества. Термины и определения.

3. ДСТУ 2850–1994. Программные средства ЭВМ. Обеспечение качества. Показатели и методы оценки качества программного обеспечения.

4. ДСТУ 3230–1995. Управление качеством и обеспечение качества. Термины и определения.

5. Барлоу Р., Прошан Ф. Математическая теория надежности. Пер. с англ. М.: 1969. – 483 с.

6. Липаев В.В. Надежность программного обеспечения АСУ. – М.: Сов.радио, 1977. – 400 с.

7. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика.–Киев: Наук. думка, 2006. – 451с.

8. Гласс Г. Руководство по надежному программированию. – М.: Финансы и Статистика, 1982. – 256 с.

9. Тейер Т., Липов Р., Нельсон Э. Надежность программного обеспечения. – М.: Мир, 1981. – 325 с.

10. Мороз Г.Б., Лаврищева Е.М. Модели роста надежности программного обеспечения. – Киев: ИК АН УССР. – Препр. 92–38, 1992. – 23 с.

11. Meyer B. The role of Object-Oriented Metrics. – Computer, 1998. – №11. – P. 23-125.

12. Кулаков А.Ю. Оценка качества программ ЭВМ. – Киев: Технiка. – 1984. – 167 с.

13. Липаев В.В. Методы обеспечения качества крупномасштабных программных систем. – М.: СИНТЕГ. – 2003. – 510 с.

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

15. NASA–STD–2201 / Software Assurance Standart, 1993.

16. John D. Musa, Anthony Iannino, and Kazuhira Okumoto. Software Reliability: Measurement, Prediction, Application. Whippany, NJ: McGraw-Hill, 1987.

17. Musa J.D. Okumoto K.A. Logarithmic Poisson Time Model for Software Reliability Measurement // Proc. Sevent International Conference on Software Engineering. – Orlando, Florida. – 1984. – P. 230-238.

18. Goel A.L. Software reliability models& Assumptions, Limitations and Applicability// IEEE Trans. – N2. – P. 1411-1423.

19. Sukert A.N., Goel A.L. A guidebook for software reliability assessment / Proc. Annual Reliability and Maintainability Symp. – Tokio (Japan). – 1980. – P. 186-190.

20. Jelinski Z., Moranda P. Software reliability research /Statistical computer performance evaluation W.–Freiberger, Ed. Academic Press. – 1972. – Р. 465-484.

21. Shick G.J., Wolverton R.W. An analysis of computing software reliability models / IEEE Tras. Software Eng. – V.– SE–4. – № 2. – 1978. – P. 104-120.

22. Yamada S., Ohba M., Osaki S. S–shaped software reliability grows modeling for software error detection // IEEE Trans. Reliability. – 1983. – R – 32. – № 5. – P. 475-478.

23. Schneidewind N.F. Software Reliability Model with Optimal Selection of Failure Data // IEEE Trans. on Software Eng. – 1993. – № 11. – P. 1095-1104.

Список літератури до теми 10

1. Англо-український тлумачний словник з обчислювальної техніки, Інтернету, програмування. – К.: СофтПрес, 2006. – 8237с.

2. Первое знакомство с Microsoft Office project Professional 2003. – Microsoft, 2003. – 34 c.

3. Черников A. Теория и практика управления проектами // Компьютерное обозрение. – 2003. – №10 – С. 24-39.

4. Гультяев А.К. MS PROJECT 2003. Управление проектами. Русская версия; Практическое пособие. – СПб.: КОРОНА, 2003. – 592 с.

5. Джалота П. Управление программными проектами на практике. – Лори, 2005. – 265 с.

6. Первое знакомство с Microsoft Office Рroject Professional 2003. – Microsoft, 2003. – 34 c.

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

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

9. Брукс Ф.П. Мифический человеко-месяц или как создаются программные системы. Пер.с англ. – СПб.: Символ-Плюс, 2005. – 304 с.

10. Боэм Б.У. Инженерное проектирование программного обеспечения. – М.: Радио и связь, 1985. – 511 с.

11. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. – К.: Наук. думка, 2006. – 451 с.

12. Круковський М.Ю., Цурін О.П., Петренко А.І. (24 червня 2007). Керування проектами засобами MS Project [WWW документ]. URL http://www.itcomp.edu-ua.net/datas/upload/643646190.ppt (9 липня 2007).

13. R.H. Thayer, ed., Software Engineering Project Managment, 2nd.ed., IEEE CS Press, Los Alamitos, Calif. 1997. – 391 p.