|
Добрый день. Вопрос №1 Какова стоимость получения диплома о мини-МБА по данному курсу? Или ориентироваться на указанную на сайте? Вопрос №2 Возможно ли начать обучение без потери результатов, не отправив документы на зачисление, а отправку выполнить позже? |
Инспектор
Вы можете этот курс.
MYY:
Верификация программного обеспечения
:Верификация программного обеспечения
: Литература по курсу
Опубликован: 28.11.2007 | Уровень: специалист | Доступ: платный | ВУЗ: Национальный исследовательский ядерный университет «МИФИ»
- 2.Надежность программного обеспеченияМ.: «Мир», 1980. 360 с
- 3.Тестирование на основе моделейОткрытые системы, #09/2003
- 4.Гостехкомиссия России. Руководящий документ. Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностейМ.: Гостехкомиссия РФ, 1999
- 5.Гостехкомиссия России. Руководящий документ. Средства вычислительной техники. Защита от несанкционированного доступа к информации. Показатели защищенности от несанкционированного доступа к информацииМ.: Гостехкомиссия РФ, 1992
- 6.ГОСТ Р ИСО 9001-2001. Системы менеджмента качества. ТребованияМ.: ИПК Изд-во стандартов, 2001, – 140 с
- 7.RTCA/DO-178B. Software considerations in airborne system and equipment certificationRTCA Inc, 1992, – 138 p
- 8.AS9100A. Quality Management Systems – Aerospace – RequirementsG-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 69 р
- 9.AS9006A. Aerospace Software Supplement for AS9100AG-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 24 p
- 10.Practical Software Testing. A process-oriented approachSpringer-Verlag, New York, 2003, - 732 p
- 11.UNIX. Взаимодействие процессовСПб.: Питер, 2002. – 576 с
- 12.Операционные системы: учебное пособиеМ.: МИФИ, 2006. 213 с
- 13.Object-oriented Real-time Techniques: Method Guide
- 14.IEEE 1012-1998. IEEE Standard for Software Verification and ValidationInstitute of Electrical and Electronics Engineers. 01-May-1998, 75 p
- 15.IEEE 829-1998. IEEE Standard for Software Test DocumentationInstitute of Electrical and Electronics Engineers. 01-May-1998, 62 p
- 16.Concepts in Configuration Management SystemsProc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway, 1991, – 166 p, pp. 1-18
- 17.Test data selection criteria for (software) integration testingProc. First International Conf. Systems Integration, April 1990, pp. 709–717
- 18.Модульное тестирование и Test-Driven Development, или Как управлять страхом в программированииIT News, #21/2005
- 19.IEEE 1008-1987. IEEE Standard for Software Unit TestingInstitute of Electrical and Electronics Engineers. 01-May-1987, 28 p
- 20.Experiences with cluster and class testingCommunications of the ACM, Vol. 37, No. 9, 1994, pp. 39–47
- 21.ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определенияМ.: Издательство стандартов, 1990. – 37 с
- 22.ГОСТ 13377-75. Надежность в технике. Термины и определенияМ.: Изд-во стандартов, 1975
- 23.ISO 10007. Quality management - Guidelines for configuration managementInternational Organization for Standardization. 01-Apr-1995, 14 p
- 24.IEEE 1042-1987. IEEE Guide to Software Configuration ManagementInstitute of Electrical and Electronics Engineers. 10-Sep-1987, 92 p
- 25.An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) CriterionOffice of Aviation Research Washington, D.C., 2001, 214 p
- 26.A Practical Tutorial on Modified Condition/Decision CoverageNASA, 2001, 85 p
- 27.Структурные модели в объектно-ориентированном анализе и проектированииМ.:Лори, 1999, 288 с
- 28.Искусство тестирования программМ.:Финансы и статистика, 1982, 176 с
- 29.Материалы компании Interface Ltd
- 31.ISO 13407:1999. Human-centred design processes for interactive systemsInternational Organization for Standardization. 01-Jun-1999, 26 p.
- 32.ISO/IEC 9126-1:2001. Software engineering -- Product quality -- Part 1: Quality modelInternational Organization for Standardization/International Electrotechnical Commission. 01-Jun-2001, 25 p
- 33.Публикация компании IT-Online
- 34.КТ-178А. Квалификационные требования часть 178ААОЗТ "ИСПАС", Жуковский, 1997
- 35.Microsoft Solutions Framework. Методология создания программных решенийhttp://www.microsoft.com/Rus/Msdn/msf/Default.mspx
- 36.Экстремальное программированиеС-Пб.:Питер, 2002, 224 с
- 37.ISO/IEC 15408. Information technology – Security techniques – Evaluation criteria for IT securityInternational Organization for Standardization. 50 p. (part 1), 248 p. (part 2), 168 p. (part 3)
Илья Макаренко
Александр Медов
|
Здравствуйте, какова полная сумма предоставленной услуги с печатью документа и отправкой по почте? |
