Home

Literature

Управление ИТ-инфраструктурой

:

Software Engineering Methods

: Literature
[+]
Created: 23.09.2008 | Level: specialist | Access: paid | University: Московский физико-технический институт
  • 1.
    Программы следующего десятилетия
    Открытые системы. – Декабрь, 2001. – С.60 –71
  • 2.
    Professional Software Engineering: Fact or Fiction?
    IEEE Software. – Nov.– Dec. 1999. – P. 13–18
  • 3.
    Software Engineering. Theory and practice
    Printice Hall: Upper Saddenle River, New Jersey, 1998. – 576 p
  • 4.
    Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing
    New York: AddisonWesley Publ. Co., 1994. – 529 p
  • 5.
    Инженерия программного обеспечения. 6-е издание
    М. – СПб. – Киев, 2002. – 623 с
  • 6.
    Проблематика программной инженерии
    Kиев: Знание, 1991. – 19 с
  • 7.
    Основы программной инженерии. Учебник
    Киев: Знание, 2001. – 269 с
  • 8.
    Software requirement & specifications
    Wokingham, England: Addison–Wesley, ACM Press Books, 1995. – 228 p
  • 9.
    Области знаний программной инженерии – SWEBOK и подход к обучению этой дисциплины
    Управляющие системы и машины.– 2005. – №1.– С.38–54
  • 10.
    Software Reuse
    N.-Y. – Addison-Wesley, 1997. – 497 p
  • 11.
    Основные направления исследований в программной инженерии и пути их развития
    Проблемы програмирования. – 2003. – № 3–4. – С. 44–58
  • 12.
    Основы инженерии качества программных систем
    Киев: Академпериодика.– Второе изд., 2007. – 680 с
  • 13.
    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.
    Как проектируются и создаются программные комплексы: мифический человеко-месяц
    М.: Наука, 1979. – 321 с
  • 18.
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
    М.: Мир, 2002. – 510 с
  • 19.
    The Unified Software Development Process
    N.-Y. –Addison-Wesley, 1999. – 463 p
  • 20.
    Capability Maturity Model for Software, version 1.1
    CMU–SEI–93–24, Soft. Engin. Institute, Pittsburg PA 15213, Feb. – Pittsburg. – 82 p
  • 21.
    Software Engineering Project Management, 2 nd. ed
    IEEE 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 Engineering
    ACM Transactions on Software Engineering, January 1997, № 1.
  • 32.
    An Object-Oriented tool for Tracing Requirements
    Software, Mach 1996, № 3.
  • 33.
    Software Engineering With Microsoft Visual Studio. Team System
    Adison Wesley, 2006. – 273 p.
  • 34.
    Объектно-ориентированный анализ: моделирование мира в состояниях
    Киев: – Диалектика, 1993. – 240 с
  • 35.
    Object-oriented analysis.-Second Edition
    Prentice Hall. – 1991. – 296 p
  • 36.
    Modern Srtucrured Analysis
    New York: Yourdan Press / Prentice Hall, 1988. – 297 p
  • 37.
    SADT: Structured Analysis and Design Technique
    New York: Mcgray Hill, 1988. – 378 p
  • 38.
    Structured Design. Yourden Press
    Engwood Cliffs.N.J. – 1983
  • 39.
    Object-oriented analysis and design
    Prentice Hall. –1992. – 367p
  • 40.
    CASE-method. Entity Relatiionship Modeling
    Copyrigth ORACLE Corporation UK Limited New York: Publ., 1990. – 312 p
  • 41.
    Assentials of Distributed Object Design M.S.E
    Advanced Concepts Center. – 1994. – p. 225 –234
  • 42.
    Object-Oriented Modelling and Design
    Englewood Cliffs, NJ: Prentice Hall. – 1991. – 451 p
  • 43.
    Объектно-ориентированное проектирование. – 3-е издание
    М.: Бином, 1998. – 560 с
  • 44.
    Object-Oriented Software Engineering. A use Case Driven Approach, Revised Printing
    New 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 Technique
    New York: McCray Hill, 1988 .– 378 c
  • 53.
    SSADM: Models and Mehtods
    Prentice–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.3
    UML 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 Systems
    Software Engineering Notes. – 2002. – vol.27.– N 3 .– Р. 47–50
  • 60.
    Design Patterns, Elements of Reusable Object–oriented Software
    N.-Y.: Addison–Wesley, 1995. – 345 p
  • 61.
    Методы и средства компонентного программирования
    Кибернетика и системный анализ, 2003. – №1. – С. 39–55
  • 62.
    Методы программирования. Теория, инженерия, практика
    Киев: Наукова думка, 2006.–451с
  • 63.
    Reusable Software Components
    Advances in Computers, vol. 33. – Academic Press, 1991. – P. 1–65
  • 64.
    Software Reuse: Architecture, Process and organization for Business Success
    Addison Wesley, Reading , MA, May 1997. – 501 p
  • 65.
    Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft COM и Java RMI
    М.: Мир, 2002. – 510 с
  • 66.
    Aspect–Oriented Programming with AspectJ
    Indianapolis, 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 programming
    Artif.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 representation
    Acta Informatica, 1(4).– 271– 287. – 1972. – P. 214–224
  • 86.
    Доказательство правильности программ
    М.: Мир, 1982. – 165 с
  • 87.
    Spesification Language Z
    Boston: Massachusetts Computer Associates Inc., 1979. – 378 p
  • 88.
    The Vienna Development Methods (VDM): The Meta – Language. – Vol. 61 of Lecture Notes in Computer Science
    Springer Verlag, Heiderberg, Germany, 1978. – 215 p
  • 89.
    Венский метод разработки программ
    Программирование, 2001. – № 1. – С. 3–23
  • 90.
    The RAISE Language Group. The RAISE Spesification Language
    BCS Practitioner Series. – Prentice Hall, 1982. – 397 p
  • 91.
    The RAISE Methods Group. The RAISE Development Methods
    BCS Practitioner Series. – Prentice Hall, 1985. – 493p
  • 92.
    Спецификации программ: понятийные средства и их организация
    Новосибирск: – Наука, 1987. – 240 с.
  • 93.
    Об одном подходе к спецификации и верификации трансляторов
    М.: Программирование, 1983, № 4. – С. 51–58
  • 94.
    Спецификация и верификация распределенных систем средствами языка Elementary–real
    М.: Наука, Программирование, 1999. – № 4. – С. 54–67
  • 95.
    Языковый инструментарий: новая жизнь языков предметной области (Domain Specific Language)
  • 96.
    Первые шаги к решению проблемы верификации программ
    Открытые системы . – 2006 . – № 8. – С. 36-43
  • 97.
    Verified software: Theories, Tools, Experiments. Vision of Grant Challenge project
    Microsoft Research Ltd and the University of Texas at Austin, 2005. – P. 1–43
  • 98.
    Концепторные языки. Доказательное проектирование
    Киев:– Наукова думка, 2001. – 182 с
  • 99.
    Finding the Correctness proof of a concurrent program
    Proc.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 Process
    NIST 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 subdomains
    IEEE Trans.Soft.Eng. – 1980. – V. 6, – №. 3, – P. 236–246
  • 109.
    ANSI / IEEE Std. 10122–1986. Standard for Software Verification and Validation Plans
    IEEE . – New York. – 1986. – 61 p
  • 110.
    ISO/IEC 12207: 2002. Information technology
    Software life cycle processes). Информационные технологи. – Процессы жизненного цикла программного обеспечения
  • 111.
    Инженерия программного обеспечения. 6 –издание
    Москва–Санкт–Петербург–Киев, 2002.–623 с
  • 112.
    CASE–93. Proceeding Sixth Intern
    Workshop 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 ECOOP
    97th 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 Environments
    Englewood Cliffs: Prentice Hall, 1993. – 437 p
  • 119.
    The art of Distributed Application. Programming Techn. For Remote Procedure Calls
    Berlin: Springer Verlag, 1992. – 305 p
  • 120.
    Основы СОМ
    Microsoft Press, 1996. – 361 c
  • 121.
    CORBA. The Common Object Request Broker: Architecture and Specification. Revision 2.0
    Copyright 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 Engineering
    IEEE 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. Computer
    vol. 32, N 1, January 1999. – pp.139–140
  • 139.
    COM and NET Component Services
    O'Reilly, 2001. – 384 p
  • 140.
    The Design and Implementation of Hierarchical Software Systems with Reusable Components
    ACM Transactions on Software Engineering and Methodology. – N 4, vol. 1, October 1992. – P. 355–398
  • 141.
    Reusable Software Components/ Advances in Computers, vol. 33
    Academic Press, 1991. – P. 1–65
  • 142.
    Software Reuse: Architec-ture, Process and organization for Business Success
    Addison Wesley, Reading , MA, May 1997 .– 501 p
  • 143.
    SEI`s Software Product Line Tenets
    IEEE 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 Metrics
    Computer, 1998. – №11. – P. 23–125
  • 153.
    Оценка качества программ ЭВМ
    Киев: Технiка. – 1984. – 167 с
  • 154.
    Методы обеспечения качества крупнмасштабных программных систем
    М.: СИНТЕГ. – 2003. – 510 с
  • 155.
    Основы качества программных систем
    Киев: Академпериодика.– Второе изд.– 2007. – 680 с
  • 156.
    NASA –STD–2201
    Software Assurance Standart, 1993
  • 157.
    Software Reliability: Measurement, Prediction, Application. Whippany
    NJ: McGraw–Hill, 1987
  • 158.
    Logarithmic Poisson Time Model for Software Reliability Measurement
    Proc. Sevent International Conference on Software Engineering. – Orlando, Florida. – 1984. – P. 230–238
  • 159.
    Software reliability models& Assumptions, Limitations and Applicability
    IEEE Trans. – N2. – P. 1411–1423
  • 160.
    A guidebook for software reliability assessment
    Proc. Annual Reliability and Maintainability Symp. – Tokio (Japan). – 1980. – P. 186–190
  • 161.
    Software reliability research
    Statistical computer performance evaluation W.Freiberger, Ed. Academic Press. – 1972. – Р. 465–484
  • 162.
    An analysis of computing software reliability models
    IEEE Tras. Software Eng. – V. SE–4. – № 2. – 1978. – P. 104–120
  • 163.
    S–shaped software reliability grows modeling for software error detection
    IEEE Trans. Reliability. – 1983. – R–32. – № 5. – P. 475–478
  • 164.
    Software Reliability Model with Optimal Selection of Failure Data
    IEEE Trans. on Software Eng. – 1993. – № 11. – P. 1095–1104
  • 165.
    Software reliability models: A Review
    Microelectron. Reliab. – 1983. – V. 23. – № 5 – Р. 903–943
  • 166.
    Software managment, IEEE Computer Society Press
    Los Alomos. – 1993
  • 167.
    A Guide to the Project Management Body of Knowledge
    PMBOK GUIDE. – 2000. – Edition
  • 168.
    Инженерное проектирование программного обеспечения
    М.: Радио и связь. – 1985. – 511 с
  • 169.
    Software Engineering. Theory and Practice
    Prentice Hall, 1998. – 576 p
  • 170.
    Software Engineering Project Managment, 2nd.ed
    IEEE 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 management
    Wokingham, 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 2003
    Microsoft, 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 с