Додаток а

(довідковий)

Бібліографія

1 Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты.—Москва: Синтег, 2001.-228c., 20 илл

2 ISO/IEC TR 9126-3:2003 Software Engineering – Product Quality – Part 3: Internal metrics (Інжиніринг програмного забезпечення – Якість продукту – Частина 3: Внутрішні метрики)

3 ISO/IEC 9126-1:2001 Software Engineering – Product Quality – Part 1: Quality model (Інжиніринг програмного забезпечення – Якість продукту – Частина 1: Модель якості)

4 ISO/IEC TR 9126-2:2003 Software Engineering – Product Quality – Part 2: External metrics (Інжиніринг програмного забезпечення – Якість продукту – Частина 2: Зовнішні метрики)

5 ISO/IEC 60880, 1986 Software for Computers in the safety systems of nuclear power stations (Програмне забезпечення для ЕОМ систем забезпечення безпеки АЕС)

6 RTCA DO‑178B–1992 Software Considerations in Airborne Systems and Equipment Certification (Розгляд програмного забезпечення при сертифікації бортових систем та обладнання)

7 IEC 61025:1990 Fault tree analysis (FTA) (Аналіз дерева відмов)

8 ISO/IEC 14598-1:1999 Information technology – Software product evaluation – Part 1: General (Інформаційні технології – оцінювання програмного продукту. Частина 1: Загальний огляд)

9 ECSS-Q-80-03 Space product assurance. Methods and techniques to support the assessment of software dependability and safety (Гарантія продукції космічного призначення. Методи та методики оцінки надійності та безпеки програмного забезпечення)

10 ISO/IEC 61513, 1998 Nuclear power plants – Instrumentation and control systems important for safety – General requirements for systems (АЕС – Інформаційно-керуючи системи, вадливі для безпеки – Загальні вимоги до систем)

11 СОУ-Н НКАУ 0012:2006 Галузева система управління якістю. Вимоги до якості програмного забезпечення програмно-технічних комплексів критичного призначення для космічної техніки

12 ISO/IEC TR 9126-4:2004 Software Engineering – Product Quality – Part 4: Quality in use metric (Інжиніринг програмного забезпечення – Якість продукту – Частина 4: Метрики якості у використовуванні)

13 Липаев В.В. Обеспечение качества программных средств.—Москва: Синтег, 2001.-380c., 28 илл

14 ECSS-Q-40B–2002 Space product assurance. Safety (Гарантія продукції космічного призначення. Безпека)

15 ECSS-Q-80B–2002 Space product assurance. Software product assurance (Гарантія продукції космічного призначення. Гарантія програмного продукту)

16 IEC 60812:1985 Analysis techniques for system reliability – Procedure for failure mode and effects analysis (FMEA) (Методика аналізу системної надійності – Процедура аналізу видів та наслідків відмов)

17 IEC 61508‑7:2000 Functional safety of electrical/electronic/programmable electronic safety related systems – Part 7: Overview of techniques and measures (Функціональна безпека електричних/ електронних/ програмованих електронних систем, важливих для безпеки – Частина 7: Огляд методик та вимірювань)

18 IEEE 982.1-1988 IEEE standard dictionary of measures to produce reliable software (Стандартний словник IEEE з вимірювань при виробництві надійного програмного забезпечення)

Аркуш реєстрації змін

Позначення зміни	Номер сторінки			Всього сторінок у документі	Реєст-раційний номер зміни	Підпис, дата внесення зміни	Дата надання чинності зміні
	заміне- ної	нової	вилуче-ної

III