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

       

Литература к теме


1. Программы следующего десятилетия. Открытые системы.– Декабрь, 2001.–с.60-71.

2. McConnel S., Tripp L. Professional Software Engineering:  Fact or Fiction ? //IEEE Software.-Nov.-Dec.-1999.-P.13-18

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

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

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

6. Е.М. Лаврищева Проблематика  программной инженерии// K.: Знання.–1991.–19с.

7. Бабенко Л.П., Лаврищева Е.М. Основы программной  инженерии.  Учебник (укр. язык). – Киев: Знання, 2001. –269 с.

8. Jackson M. Software requirement & specifications.– Wokingham, England: Addison–Wesley, ACM Press Books, 1995. –228 p.

9. Meyer. Object-oriented  Software Construction. – 2nd. ed.,  Prentice Hall, 1997.–531 p.

10.  Jacobson I., Griss M., Jonsson P. Software Reuse.–N.–Y.– Addison–Wesley, 1997. – 497 p.

11. Андон Ф.И., Лаврищева Е.М. Методы инженерии  распределенных  компьютерных систем, Киев, Изд. «Наукова думка», 1997г.–228 с.

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

13. Jotterbarn D., Miller K., Rogerson S. Software Engineering CODE of Ethic is Approved//Com. of the ACM .v. 42.–N 10.–1999.–P.

102–107.  

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

15. ISO/IEC TR 15504, Information Technology–Software Process Assessment (Part 1 – 9).



16. ISO/IEC 9126, Information Technology - Software quality characteristics and metrics (Part 1 – 4) 1997.

17.  ISO-IEC 15288, System Life Cycle Processes.

18. ISO/IEC DIS 15026, Information technology – System and Software integrity levels.


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

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

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

4. С.А.Орлов.

Технологии разработки программного обеспечения. Учебник для Вузов. Питер.–2002.–463с.

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







1. Леонов И.В. Введение в методологию разработки программного обеспечения при помощи Rational Rose.  Требования к системе и способы использования// igorvleonov@esc.ru

2. Вигерс К.И. Разработка требований к ПО.  Москва, 2004.– Русская редакция Microsoft.–575c.

3. Pamela Zave, Michael Jackson,

«Four Dark Corners of Requirements Engineering», ACM Transactions on Software Engineering, January 1997, №1.

4. Jacobson I., Griss M., Jonsson P. Software Reuse. - N.-Y. - Addиson-Wesley, 1997. - 497p.

5.   http:/www.rational.com.uml.html

6. Francisco A. C. Pinheiro, Joseph A. Goguen, «An Object - Oriented tool for Tracing Requirements», «Software», Mach 1996, № 3.







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

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

3.  Jacobson I., Griss M., Jonsson P. Software Reuse.–N.Y.:Adison Wesley, 1997.

4.  С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.- vol.27.-N 3.-c.47-50.

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

6.   Meyer B. On to Components. Computer. – vol. 32, N 1, January 1999. – pp.139–140.

7.   Lowy J. COM and .NET Component Services. - O'Reilly, 2001. – 384 p.

8.   Batory D., O'Malley S. The Design and Implementation of Hierarchical Software Systems with Reusable Components/ ACM Transactions  on Software Engineering and Methodology. – N 4, vol. 1, October 1992. –  pp.355–398.

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

10. Jacobson I.,  Griss M., Johnson  P.

Software Reuse: Architecture, Process and organization for Business Success – Addison Wesley,  Reading , MA, May 1997.–501p.





1. Open  Software Foundation. Inroduce to Open  Software Foundation. Disributed Computed Environments.– Englewood Cliffs: Prentice Hall, 1993.– 437p.

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

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

4. CORBA. The Common Object Request Broker: Architecture and Specification. Revision 2.0. Copyright 1991, 1992, 1995 by Sun Microsystems, Inc.–1995.–621 p.

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

6.

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

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

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

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

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

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

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

13.

Лаврищева Е.М. Парадигма интеграции в программной инженерии// Программирование, 2000.– №1–2 (Труды второй междун.науч..конф. УкПрог–2000, 23–26мая 2000г. –Киев).– с.351–360.

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

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

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

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

18. Соммервилл И. Инженерия программного обеспечения.– Изд. Дом «Вильямс», Москва

19. Игнатенко П.П., Неумоин В.Н., Бистров В.М. Об обеспеченни эффективного реинжинеринга прикладних програмних систем // Пробл. программирования. – 2001. – №1–2. – с. 42–52.

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





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

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

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

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

5.  Haag S., Raja H.K., Sekade L.L. Quality Function Deployment. Usage in Software Development// Comm. оf ACM.– 1998. –39. –N1.

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

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

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

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

10.    Майерс Г.

Надежность  программного обеспечения .– М.: Мир, 1980.–360с.

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

              Статистика, 1982.–256с.

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

              Мир, 1981.– 325с.

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

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

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

16. ISO 14598. Information  Technology – Software product evolution– Part1: General overview.–1996.

17. Мороз  Г.Б.,  Лаврищева Е.М. Модели роста надежности программного обеспечения.– Киев.–Препринт 92–38, 1992.– 23с.

18.  Коваль Г.И. Подход к прогнозированию надежности ПО при управлении проектом // Проблемы программирования. –2002. – № 1 – 2. – С. 282 – 290.

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




 

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

 2. Липаев  В.В. Отладка сложных программ.–М.: Энергоатомиздат,  1993.–296с.

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

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

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

6.  Software unit test coverage and adequacy. / Zhu H., Hall P. A. // ACM Computing Surveys, 29, –№ 4, Dec. 1997. –P. 336–427.

7.  Коул Дж., Горем Т. и др. Принципы тестирования ПО //Открытые системы. – 1998.– №2.  www.osp.ru/os/1998/02/60.htm

8. Burstall R.M. Program proving as hand simulation with a little induction. – Proc. IFIP Congress 74, North–Holland, 1974. –P.80 – 89.

9. Dijkstra T.W. Finding the Correctness proof of a  concurrent program. – Proc.Konf. Nederland Acad.Wetenach, 1978. – 81. – N2. – p.207– 215.

10. Clint M., Hoare C.A.R. Program proving: jumps and functions. — Acta Informatikee, 1972. — 1. — N3. — P.214—224.

11. Pfleeger  S.L. Software Engineering. Theory and Practice. –  Prentice Hall, 1998. – 576p.

12. Grossman D., McCobe C.

Perfomance Testing a Large Finance Аpplication. – IEEE Software. – 1996. – Sept. – P.50 –60.

13. Y.Wang, J.King, J.Kourt,  M.Ross, S.Staples. On testable odject–oriented programming// Software Engineering Notes, volume 22, N4. –1997.­­– pp.84–90

14.  Perry  D.E. and Kaiser  C.E.

Adequate testing and object–oriented  programming // Journal  of Object–Oriented  Programming,  January /Febrary. –1990. – p.13–19.

15. ANSI / IEEE Std. 10122–1986. Standard for Software  Verification  and  Validation  Plans // IEEE . – New York . – 1986. – 61p.

16. Dolores R. Wallase M. Ippolito, b. Cuthill. Reference  Information  for  the  Software  Verification and Validation  Process // NIST Special  Publication .


1. Reiter D.J. Software managment, IEEE Computer Society Press, Los Alomos.- 1993.

2.  B. Duncan. A Guide to the Project Management Body of Knowledge // PMBOK GUIDE.–2000.– Edition / www.pmi.org/publication/download/2000welcome.html.

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

4.  Pfleeger  S.L. Software Engineering. Theory and Practice.- Prentice Hall, 1998.-576p.

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

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

7. Бабенко Л.П., Лаврищева Е.М. Основы програмной  инженерии.  Учебник (укр.язык). – Киев: Знання, 2001. –269 с.

8. ISO/IEC TR 16326:1999. Guide for the application of ISO/IEC 12207 to project management.

9. IEEE Std 1058-1998. IEEE Standard for Software Project Management Plans.

10. Glib T. Principles of software engineering management. – Wokingham, England: Addison-Wesley, 1998. – 396 p.

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

12. Джалота П. Управление программными проектами на практике, Лори, 2005.-

13. Брукс П. Мифический человеко – месяц. – Г.: Мир, 1972. – 234 с.

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

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




Содержание раздела