НОУ ИНТУИТ | Литература | Методы и средства инженерии программного обеспечения

Опубликован: 24.09.2008 | Уровень: специалист | Доступ: платный | ВУЗ: Московский физико-технический институт

Вам нравится? Нравится 44 студентам

| Поделиться |

Поддержать программу

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 с

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

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

Вопросы и ответы

Студенты

Авторизоваться

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

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

Вопросы и ответы

Студенты