Методы и средства инженерии программного обеспечения



         

Литература к теме 7 - часть 2


– 1996 . – 500–234. – 80p.

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

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

19. CASE–93. Proceeding Sixth Intern.//Workshopon  Computer Aided Software Engineering.– Singapure. –1993. – July 19–23.–418p.

 20. Jacobson J. Object–oriented Software Engineering. – Revised Printing. – Addison– Wesley. – 1995. – 528p.

 21. Коротун Т.М. Совершенствование процессов тестирования программного обеспечения // Проблемы программирования.–1998.–№3.–С.59–64.

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

23. Koomen, T., and M. Pol. 1998. Improvement of the test process using TPI. http://www.iquip.nl

24. Андон Ф.И., Лаврищева Е.М. Методы инженерии распределенных компьютерных систем. –К.: Наукова думка, 1997. –229с.

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

26. Drabick R. Growth of maturity in the testing process. International Software Testing Institute 1999. http://www.softtest.org/articles/rdrabick3.htm.

27. Software Engineering Body of Knowledge (SWEBOK). // ISO/IEC JTC1/SC7 N2517.

Software & System Engineering Secretariat, Canada, 2001. – 220 p.





Содержание  Назад  Вперед