Здравствуйте,при покупке печатной формы сертификата,будут ли выданы обе печатные сторны? |
Методы и средства инженерии программного обеспечения
: Литература по курсу
Московский физико-технический институт
Опубликован: 24.09.2008 | Доступ: платный | Студентов: 434 / 7 | Оценка: 4.52 / 4.48 | Длительность: 25:15:00
Темы: Программирование, Менеджмент
Специальности: Системный архитектор
Теги:
- 1.Программы следующего десятилетияОткрытые системы. – Декабрь, 2001. – С.60 –71
- 2.Professional Software Engineering: Fact or Fiction?IEEE Software. – Nov.– Dec. 1999. – P. 13–18
- 3.Software Engineering. Theory and practicePrintice Hall: Upper Saddenle River, New Jersey, 1998. – 576 p
- 4.Object-Oriented Software Engineering. A use Case Driven Approach, Revised PrintingNew York: AddisonWesley Publ. Co., 1994. – 529 p
- 5.Инженерия программного обеспечения. 6-е изданиеМ. – СПб. – Киев, 2002. – 623 с
- 6.Проблематика программной инженерииKиев: Знание, 1991. – 19 с
- 7.Основы программной инженерии. УчебникКиев: Знание, 2001. – 269 с
- 8.Software requirement & specificationsWokingham, England: Addison–Wesley, ACM Press Books, 1995. – 228 p
- 9.Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплиныУправляющие системы и машины.– 2005. – №1.– С.38–54
- 10.Software ReuseN.-Y. – Addison-Wesley, 1997. – 497 p
- 11.Основные направления исследований в программной инженерии и пути их развитияПроблемы програмирования. – 2003. – № 3–4. – С. 44–58
- 12.Основы инженерии качества программных системКиев: Академпериодика.– Второе изд., 2007. – 680 с
- 13.Software Engineering CODE of Ethic is ApprovedCom. 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.Как проектируются и создаются программные комплексы: мифический человеко-месяцМ.: Наука, 1979. – 321 с
- 18.Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMIМ.: Мир, 2002. – 510 с
- 19.The Unified Software Development ProcessN.-Y. –Addison-Wesley, 1999. – 463 p
- 20.Capability Maturity Model for Software, version 1.1CMU–SEI–93–24, Soft. Engin. Institute, Pittsburg PA 15213, Feb. – Pittsburg. – 82 p
- 21.Software Engineering Project Management, 2 nd. edIEEE CS Press, Los Alamitos, Calif., 1997. – 391 p
- 22.Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплиныУправляющие системы и машины.–2005. – №1.– С.38–54
- 23.Регламентация жизненного цикла программных средств
- 24.Проектирование программного обеспечения экономических информационных систем. УчебникМ.: Финансы и статистика, 2000. – 347 с
- 25.Технологии разработки программного обеспечения. Учебник для ВузовСПб.: Питер, 2002. – 463 с
- 26.Инженерия программного обеспечения. 6-е изданиеМ.–СПб.– Киев,– 2002. –623 с
- 27.Построение процесса тестирования программных системПроблемы программирования. – 2002. – № 1–2. – С. 272–281
- 28.Модели и методы инженерии тестирования программных систем в условиях ограниченных ресурсовАвтореф. канд. Дисер. Институт кибернетики им. В.М. Глушкова. – Киев, 2005. – 21 с
- 29.Разработка требований к ПОМ.: Русская редакция Microsoft, 2004. – 575 c.
- 30.Введение в методологию разработки программного обеспечения при помощи Rational RoseЕскейп, 2004. – 301 с.
- 31.Four Dark Corners of Requirements EngineeringACM Transactions on Software Engineering, January 1997, № 1.
- 32.An Object-Oriented tool for Tracing RequirementsSoftware, Mach 1996, № 3.
- 33.Software Engineering With Microsoft Visual Studio. Team SystemAdison Wesley, 2006. – 273 p.
- 34.Объектно-ориентированный анализ: моделирование мира в состоянияхКиев: – Диалектика, 1993. – 240 с
- 35.Object-oriented analysis.-Second EditionPrentice Hall. – 1991. – 296 p
- 36.Modern Srtucrured AnalysisNew York: Yourdan Press / Prentice Hall, 1988. – 297 p
- 37.SADT: Structured Analysis and Design TechniqueNew York: Mcgray Hill, 1988. – 378 p
- 38.Structured Design. Yourden PressEngwood Cliffs.N.J. – 1983
- 39.Object-oriented analysis and designPrentice Hall. –1992. – 367p
- 40.CASE-method. Entity Relatiionship ModelingCopyrigth ORACLE Corporation UK Limited New York: Publ., 1990. – 312 p
- 41.Assentials of Distributed Object Design M.S.EAdvanced Concepts Center. – 1994. – p. 225 –234
- 42.Object-Oriented Modelling and DesignEnglewood Cliffs, NJ: Prentice Hall. – 1991. – 451 p
- 43.Объектно-ориентированное проектирование. – 3-е изданиеМ.: Бином, 1998. – 560 с
- 44.Object-Oriented Software Engineering. A use Case Driven Approach, Revised PrintingNew York: AddisonWesley Publ.Co. – 1994. – 529 p
- 45.Логические модели интеллектуальных информационных системКиев: Наук.думка, 1999. – 396 с
- 46.Порождающее программирование. Методы, инструменты, применениеИздательский дом «Питер». – М. – СПб. – Харьков – Минск, – 2005. – 730 с
- 47.Логика и логическая семантикаМ.: Аспект–пресс, 2000. – 512 с
- 48.Основы CORBAИз-во «Малип», М.: 1999. –317с
- 49.Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMIМ.: Мир, 2002. –510 с
- 50.UML: специальный справочникСПб.: Питер. – 2002. – 656 с
- 51.Унифицированный процесс. Основные концепцииМ. – СПБ. – Киев. – 2002. – 157 с
- 52.SADT: Structured Analysis and Design TechniqueNew York: McCray Hill, 1988 .– 378 c
- 53.SSADM: Models and MehtodsPrentice–Hall, Englewood Cliffs, 1996.–581с
- 54.Методология структурного анализа и проектированияМ.: МетаТехнология, 1997.– 346 с
- 55.Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2–е издМ.: Изд–во Бином, 1998. – 560 с
- 56.Приемы объектно-ориентированного проектирования. Паттерны проектированияСПб: Питер, 2001. – 368 с
- 57.The Unified Modeling Language (UML) Specification. – V. 1.3UML Specification, revised by the OMG. – July 1999. – 620 p
- 58.UML. Специальный справочникСПб.: Питер .– 2002. – 656 с
- 59.Component–Based Software Engineering: building systems from Components at 9th Conference and Workshops on Engineering of Computer-Based SystemsSoftware Engineering Notes. – 2002. – vol.27.– N 3 .– Р. 47–50
- 60.Design Patterns, Elements of Reusable Object–oriented SoftwareN.-Y.: Addison–Wesley, 1995. – 345 p
- 61.Методы и средства компонентного программированияКибернетика и системный анализ, 2003. – №1. – С. 39–55
- 62.Методы программирования. Теория, инженерия, практикаКиев: Наукова думка, 2006.–451с
- 63.Reusable Software ComponentsAdvances in Computers, vol. 33. – Academic Press, 1991. – P. 1–65
- 64.Software Reuse: Architecture, Process and organization for Business SuccessAddison Wesley, Reading , MA, May 1997. – 501 p
- 65.Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMIМ.: Мир, 2002. – 510 с
- 66.Aspect–Oriented Programming with AspectJIndianapolis, IN, USA: SAMS Publishing, 2002. – 164 p.
- 67.Аспектно-ориентированное программированиеТехнология клиент-сервер, № 3–4. – С. 3–45.
- 68.Порождающее программирование. Методы, инструменты, применениеИздательский дом Питер. – М. – СПб. – Харьков. – Минск. – 2005. – 730 с
- 69.CORBA 3Москва: Малип, – 2002. – 412 c
- 70.Агентные технологииК.: КНТЕУ, 2005.–337с
- 71.Agent–oriented programmingArtif.Intell. – 1993, 60, №1. – P. 51–92
- 72.Взаимодействие агентов в многоагентных средахАвтоматика и телемеханика. – М.: Наука. – 1998. – № 8. – С. 3–52
- 73.Будущее программных агентовРС Magazine March 25, – 1997. – 190 c
- 74.Мечты о будущем программированияОткрытые системы. – М.: – 2005. – № 12. – С. 59–63
- 75.Объекты в системе алгебраического программированияКибернетика и системный анализ. – 1997 .– № 2. – С. 160–180
- 76.Инсерционное программирование2003. – № 1. – С. 12–32
- 77.Экспликативное программирование: ретроспективы и перспективыПроблемы программирования. – 1998. – № 2. – С. 22–41
- 78.Композиционно–номинативный подход к уточнению понятия программы1999. – № 1. – С. 16–31
- 79.Основания программологии2000.– № 1. – С. 35–57
- 80.Введение в алгоритмикуИзд.–во Фара, 1999. – 310 с
- 81.Алгебра. Языки. ПрограммированиеНаукова думка. – 1974, 1989.– 317 с
- 82.Теория алгоритмовМосква, АН СССР. – 1954. – 231 с
- 83.О логических схемах программПроблемы кибернетики вып.1. – М.: 1958
- 84.О логических схемах алгоритмовПроблемы кибернетики вып.1. – М.: 1958
- 85.Рrof of correctness of data representationActa Informatica, 1(4).– 271– 287. – 1972. – P. 214–224
- 86.Доказательство правильности программМ.: Мир, 1982. – 165 с
- 87.Spesification Language ZBoston: Massachusetts Computer Associates Inc., 1979. – 378 p
- 88.The Vienna Development Methods (VDM): The Meta – Language. – Vol. 61 of Lecture Notes in Computer ScienceSpringer Verlag, Heiderberg, Germany, 1978. – 215 p
- 89.Венский метод разработки программПрограммирование, 2001. – № 1. – С. 3–23
- 90.The RAISE Language Group. The RAISE Spesification LanguageBCS Practitioner Series. – Prentice Hall, 1982. – 397 p
- 91.The RAISE Methods Group. The RAISE Development MethodsBCS Practitioner Series. – Prentice Hall, 1985. – 493p
- 92.Спецификации программ: понятийные средства и их организацияНовосибирск: – Наука, 1987. – 240 с.
- 93.Об одном подходе к спецификации и верификации трансляторовМ.: Программирование, 1983, № 4. – С. 51–58
- 94.Спецификация и верификация распределенных систем средствами языка Elementary–realМ.: Наука, Программирование, 1999. – № 4. – С. 54–67
- 96.Первые шаги к решению проблемы верификации программОткрытые системы . – 2006 . – № 8. – С. 36-43
- 97.Verified software: Theories, Tools, Experiments. Vision of Grant Challenge projectMicrosoft Research Ltd and the University of Texas at Austin, 2005. – P. 1–43
- 98.Концепторные языки. Доказательное проектированиеКиев:– Наукова думка, 2001. – 182 с
- 99.Finding the Correctness proof of a concurrent programProc.Konf. Nederland Acad.Wetenach, 1978. – 81. – N2. – P. 207–215
- 100.Основы программной инженерииКиев: Знание, 2001. – 269 с
- 101.Распределенные объектно-ориентиро-ванные средыМ.: РАН. ИСП. Труды ИСП, 2000. – С. 84–100
- 102.Reference Information for the Software Verification and Validation ProcessNIST Special Publication . – 1996. – 80 p
- 103.Verified Systems by Composition from Verified Components
- 104.Искусство тестирования программM.: Финансы и статистика. – 1982. – 176 с
- 105.Отладка сложных программМ.: Энергоатомиздат, 1993. – 296 с
- 106.Тестирование программМ.: Радио и связь, 1986. – 295 с
- 107.Тестирование программного обеспечения: Пер с англКиев: DiaSoft. – 2000. – 544 с
- 108.Theories of program testing and the application of revealing subdomainsIEEE Trans.Soft.Eng. – 1980. – V. 6, – №. 3, – P. 236–246
- 109.ANSI / IEEE Std. 10122–1986. Standard for Software Verification and Validation PlansIEEE . – New York. – 1986. – 61 p
- 110.ISO/IEC 12207: 2002. Information technologySoftware life cycle processes). Информационные технологи. – Процессы жизненного цикла программного обеспечения
- 111.Инженерия программного обеспечения. 6 –изданиеМосква–Санкт–Петербург–Киев, 2002.–623 с
- 112.CASE–93. Proceeding Sixth InternWorkshop on Computer Aided Software Engineering. – Singapure. – 1993. – July 19–23. – 418 p
- 113.Построение процесса тестирования программных системПроблемы программирования.–2002.–№1–2.–С.272–281
- 114.Англо-український тлумачний словник з обчислювальної техніки, Інтернету, програмуванняК.: СофтПрес, 2006. – 823 с
- 115.Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMIМ.: Мир, 2002. – 510 с
- 116.Interaction Foundation of Object–oriented Programming ECOOP97th Europian Conference on OOP Finland, June 9–12, 1997 .– с. 123–139
- 117.Объекты в системе алгебраического программированияКибернетика и системный анализ. – 1997 .– № 2. – С. 160–180
- 118.Open Software Foundation. Inroduce to Open Software Foundation. Disributed Computed EnvironmentsEnglewood Cliffs: Prentice Hall, 1993. – 437 p
- 119.The art of Distributed Application. Programming Techn. For Remote Procedure CallsBerlin: Springer Verlag, 1992. – 305 p
- 120.Основы СОМMicrosoft Press, 1996. – 361 c
- 121.CORBA. The Common Object Request Broker: Architecture and Specification. Revision 2.0Copyright 1991, 1992, 1995 by Sun Microsystems, Inc. – 1995. – 621 p
- 122.Enterprise JavaBeansСПб: СимволПлюс, 2002. – 672 с
- 123.Программирование на JAVA. ПутеводительКиев. – 1996. – 736 с
- 124.Распределенные объектно-ориентированные средыМ.: РАН. ИСП. Труды ИСП, 2000. – С. 84–100
- 125.Сборочное программированиеКиев: – Наукова думка. – 1991. –213 с
- 126.Взаимодействие разноязыковых программ. Руководство программистаМ.: Издательский дом «Вильямс», М.– СПб .– Киев, 2005. – 880 с
- 127.ИСО/МЭК 11404:1996. Информационные технологии. Языки программирования, их среда и системный интерфейс. Независимые от языков типы данныхМежгосударственный стандарт. – Межгосударственный совет по стандартизации, метрологии и сертификации, 2000. – 112 с
- 128.Рефакторинг: улучшение соответствующего кодаСПб.: Символ–Плюс, 2003 .– 432 с
- 129.Аспекты реинженерии приложений с графическим интерфейсом пользователяПроблемы программирования. – 2001. – № 1–2. – С. 53–62
- 130.Обработка объектных бах данных в С++. Программирование по стандарту ODMGМ.: Издательский дом “Вильямс”, 2001. – 384 с
- 131.Доступ к базам данных и техника работы в сетиМ.: Диалог–Мифи, 1999. – 416 с
- 132.Polimetric Views – A lightweight Visual Approach to Reverse EngineeringIEEE Transaction on Software Engineering. – 2003 .– Sept., № 3 (ISSN 0098–5589). – P. 782–796
- 133.Инженерия программного обеспеченияМ.: Изд. Дом «Вильямс»
- 134.Сопровождение программного обеспеченияПод ред. Ю.А.Чернышова. – М.: Мир .– 1983. – 256 с
- 135.Основы программной инженерии (укр.)Киев.: Знання. – 2001.– 269 с
- 136.Методы программирования. Теория, инженерия, практикаКиев: Наукова думка, 2006.–451с
- 137.Порождающее программирование. Методы, инструменты, применение. – Издательский дом «Питер»М. – СПб. – Харьков – Минск .– 2005 – 730 с
- 138.On to Components. Computervol. 32, N 1, January 1999. – pp.139–140
- 139.COM and NET Component ServicesO'Reilly, 2001. – 384 p
- 140.The Design and Implementation of Hierarchical Software Systems with Reusable ComponentsACM Transactions on Software Engineering and Methodology. – N 4, vol. 1, October 1992. – P. 355–398
- 141.Reusable Software Components/ Advances in Computers, vol. 33Academic Press, 1991. – P. 1–65
- 142.Software Reuse: Architec-ture, Process and organization for Business SuccessAddison Wesley, Reading , MA, May 1997 .– 501 p
- 143.SEI`s Software Product Line TenetsIEEE Software .– 2002 .– v.19 .– № 4.– р.32–39
- 144.ДСТУ 2844–1994. Программные средства ЭВМ. Обеспечение качества. Термины и определения
- 145.ДСТУ 2850–1994. Программные средства ЭВМ. Обеспечение качества. Показатели и методы оценки качества программного обеспечения
- 146.ДСТУ 3230–1995. Управление качеством и обеспечение качества. Термины и определения
- 147.Математическая теория надежностиМ.: 1969. – 483 с
- 148.Надежность программного обеспечения АСУМ.: Сов.радио, 1977. – 400 с
- 149.Руководство по надежному программированиюМ.: Финансы и Статистика, 1982. – 256 с
- 150.Надежность программного обеспеченияМ.: Мир, 1981. – 325 с
- 151.Модели роста надежности программного обеспеченияКиев:Препринт 92–38, 1992.–23с
- 152.The role of Object–Oriented MetricsComputer, 1998. – №11. – P. 23–125
- 153.Оценка качества программ ЭВМКиев: Технiка. – 1984. – 167 с
- 154.Методы обеспечения качества крупнмасштабных программных системМ.: СИНТЕГ. – 2003. – 510 с
- 155.Основы качества программных системКиев: Академпериодика.– Второе изд.– 2007. – 680 с
- 156.NASA –STD–2201Software Assurance Standart, 1993
- 157.Software Reliability: Measurement, Prediction, Application. WhippanyNJ: McGraw–Hill, 1987
- 158.Logarithmic Poisson Time Model for Software Reliability MeasurementProc. Sevent International Conference on Software Engineering. – Orlando, Florida. – 1984. – P. 230–238
- 159.Software reliability models& Assumptions, Limitations and ApplicabilityIEEE Trans. – N2. – P. 1411–1423
- 160.A guidebook for software reliability assessmentProc. Annual Reliability and Maintainability Symp. – Tokio (Japan). – 1980. – P. 186–190
- 161.Software reliability researchStatistical computer performance evaluation W.Freiberger, Ed. Academic Press. – 1972. – Р. 465–484
- 162.An analysis of computing software reliability modelsIEEE Tras. Software Eng. – V. SE–4. – № 2. – 1978. – P. 104–120
- 163.S–shaped software reliability grows modeling for software error detectionIEEE Trans. Reliability. – 1983. – R–32. – № 5. – P. 475–478
- 164.Software Reliability Model with Optimal Selection of Failure DataIEEE Trans. on Software Eng. – 1993. – № 11. – P. 1095–1104
- 165.Software reliability models: A ReviewMicroelectron. Reliab. – 1983. – V. 23. – № 5 – Р. 903–943
- 166.Software managment, IEEE Computer Society PressLos Alomos. – 1993
- 167.PMBOK GUIDE. – 2000. – Edition
- 168.Инженерное проектирование программного обеспеченияМ.: Радио и связь. – 1985. – 511 с
- 169.Software Engineering. Theory and PracticePrentice Hall, 1998. – 576 p
- 170.Software Engineering Project Managment, 2nd.edIEEE CS Press, Los Alamitos, Calif. 1997. – 391 p
- 171.ISO/IEC TR 16326:1999. Guide for the application of ISO/IEC 12207 to project management
- 172.IEEE Std 1058–1998. IEEE Standard for Software Project Management Plans
- 173.Principles of software engineering managementWokingham, England: Addison–Wesley, 1998. – 396 p
- 174.MS PROJECT 2003. Управление проектами. Русская версия; Практическое пособиеСпб.КОРОНА, 2003. – 592 с
- 175.Управление программными проектами на практикеЛори, 2005. – 265 с
- 176.Мифический человеко-месяц или как создаются программные системыСПб.: Символ–Плюс, 2005. – 304 с
- 177.Теория и практика управления проектамиКомпьютерное обозрение. – 2003. – № 10 – С. 24–39
- 178.Первое знакомство с Microsoft Office project Professional 2003Microsoft, 2003. – 34 c
- 179.Приемы объектно–ориентированного проектирования. Паттерны проектированияСПб: Питер, 2001. – 368 с
- 180.Основы CORBAМ: НАЛИП, 1999. – 317 с
- 181.Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMIМ.: Мир, 2002. – 510 с
- 182.Enterprise JavaBeansСПб: СимволПлюс, 2002. – 672 с
- 183.Программирование на JAVA. ПутеводительКиев. – 1996. – 736 с
- 184.Сервлеты и JavaServer Pages. Библиотека программистаСПб.: Питер, 2001. – 496 с
- 185.Методы инженерии распределенных компьютерных системКиев: Наукова думка, 1997. – 228 с
- 186.Трассировка и мониторинг распределенного приложения с использованием архитектуры CORBAПроблемы программирования. – 2000. – № 1–2. – С. 181–190
- 187.Унифицированный процесс. Основные концепцииМ.–СПб. – Киев. – 2002. – 157 с
- 188.UML. Специальный выпускСПб .– М.–Харьков–Минск. – 2002. – 552 с
- 189.Принципы проектирования и разработки программного обеспечения. Учебный курс МCSDМ.: Изд–во торговый дом «Русская редакция», 2000. – 608 с