Надежность программной продукции

Надежность программной продукции

Detaylı Bibliyografya
Yazar:	Карповский Е. Я. Ефим Яковлевич
Diğer Yazarlar:	Чижов С. А. Сергей Алексеевич
Dil:	Rusça
Baskı/Yayın Bilgisi:	Киев, Тэхника, 1990
Konular:	Вычислительные машины электронные > Программное обеспечение > Надежность программная продукция оценка экспериментальные методы имитационные методы
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=228851

Benzer Materyaller

Нормирование жизненного цикла программной продукции
Yazar:: Котов С. Л. Сергей Львович
Baskı/Yayın Bilgisi: (Москва, ЮНИТИ-ДАНА, 2002)

Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
Yazar:: Тейер Т. Томас
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)

Цикл компьютерных лабораторных работ по физике на базе графической программной технологии; Естественнонаучное образование - фундамент устойчивого развития общества
Baskı/Yayın Bilgisi: (2000)

Оценка надежности программного обеспечения
Yazar:: Пальчун Б. П. Борис Павлович
Baskı/Yayın Bilgisi: (СПб., Наука, 1994)

Способ использования программной среды Labview для анализа следящей системы; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 1
Yazar:: Ле Ван Туан
Baskı/Yayın Bilgisi: (2014)

Прогрессивные технологии программирования: материалы семинара
Baskı/Yayın Bilgisi: (Москва, Знание, 1983)

Язык компьютера: пер. с англ.
Baskı/Yayın Bilgisi: (Москва, Мир, 1989)

Процессы и стандарты жизненного цикла сложных программных средств: справочник
Yazar:: Липаев В. В. Владимир Васильевич
Baskı/Yayın Bilgisi: (Москва, СИНТЕГ, 2006)

Характеристики качества программного обеспечения: пер. с англ.
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)

Макропроцессоры и мобильность программного обеспечения: пер. с англ.
Yazar:: Браун П. Питер Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1977)

Корректность, устойчивость, точность программного обеспечения
Yazar:: Тоценко В. Г. Виталий Георгиевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1990)

Методы и средства синтеза программного обеспечения в ЭФ-технологии проектирования СРВ: диссертация на соискание ученой степени кандидата технических наук; Спец.05.13.11.
Yazar:: Балова Т. Г. Татьяна Григорьевна
Baskı/Yayın Bilgisi: (Томск, 1986)

Структурное проектирование надежных программ встроенных ЭВМ
Yazar:: Штрик А. А.
Baskı/Yayın Bilgisi: (Ленинград, Машиностроение, 1989)

Математическое и программное обеспечение задач дискретной оптимизации: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, ИК, 1989)

Надежность вычислительных систем: пер. с англ.
Yazar:: Лонгботтом Р. Рой
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1985)

Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: диссертация на соискание ученой степени кандидата технических наук
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, 2000)

Анализ электронных схем на ЭЦВМ
Baskı/Yayın Bilgisi: (Львов, Вища школа, 1975)

Надежность аппаратно-программных комплексов: учебное пособие для вузов
Yazar:: Черкесов Г. Н. Геннадий Николаевич
Baskı/Yayın Bilgisi: (СПб., Питер, 2005)

Электронные вычислительные машины: учебное пособие
Yazar:: Разин В. М. Виктор Мартемьянович
Baskı/Yayın Bilgisi: (Томск, ТПИ, 1975)

Справочник по цифровой вычислительной технике. ( Программное обеспечение)
Baskı/Yayın Bilgisi: (Киев, Технiка, 1981)

Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: автореферат диссертации на соискание ученой степени кандидата технических наук
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2000)

C Tools for Scientists and Engineers
Yazar:: Baker L. Louis
Baskı/Yayın Bilgisi: (New York, McGraw-Hill Publishing Company, 1989)

Создание и реализация имитационных моделей в программной среде AnyLogic: учебное пособие
Yazar:: Бунцев И. А. Иван Александрович
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2015)

Надежность программного обеспечения систем обработки данных: учебник
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 1987)

Надежность программного обеспечения систем обработки данных: учебник
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Статистика, 1981)

Вычислительные машины и системы: учебное пособие
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 1993)

Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Baskı/Yayın Bilgisi: (1987)

Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Baskı/Yayın Bilgisi: (1991)

Надежность специального математического обеспечения управления
Yazar:: Карповский Е. Я. Ефим Яковлевич
Baskı/Yayın Bilgisi: (Киев, Вища школа, 1982)

Электронные вычислительные машины. Введение в специальность: учебное пособие
Yazar:: Разин В. М. Виктор Мартемьянович
Baskı/Yayın Bilgisi: (Томск, ТПИ, 1985)

Алгоритмы и структуры данных: пер. с англ.
Yazar:: Вирт Н. Никлаус
Baskı/Yayın Bilgisi: (Москва, Мир, 1989)

Алгоритмы + структуры данных-программы: пер. с англ.
Yazar:: Вирт Н. Никлаус
Baskı/Yayın Bilgisi: (Москва, Мир, 1985)

Ч. 1; Руководство пользователя ПЭВМ
Baskı/Yayın Bilgisi: (1992)

Вып. 1: Общие сведения. Графический ввод схем; Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ
Baskı/Yayın Bilgisi: (1992)

Надёжность электронных вычислительных машин; (Основы теории и расчёта)
Yazar:: Вайрадян А. С. Акоп Семёнович
Baskı/Yayın Bilgisi: (Москва, Изд-во МИФИ, 1966)

Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа: диссертация на соискание ученой степени кандидата технических наук
Yazar:: Рыбалка С. А. Сергей Анатольевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1997)

Интегрированная информационная поддержка жизненного цикла машиностроительной продукции: принципы, технологии, методы, модели
Yazar:: Судов Е. В. Евгений Владимирович
Baskı/Yayın Bilgisi: (Москва, Издательский Дом МВМ, 2003)

Единая система программной документации: Сборник; ГОСТ 19.001-77 Единая система программной документации. Общие положения; ГОСТ 19.005-85 Единая система программной документации. Р-схемы алгоритмов и программ. Обозначения условные графические и правила выполнения; ГОСТ 19.101-77 Единая система программной документации. Виды программ и программных документов; ГОСТ 19.102-77 Единая система программной документации. Стадии разработки; ГОСТ 19.103-77 Единая система программной документации. Обозначения программ и программных документов; ГОСТ 19.104-78 Единая система программной документации. Основные надписи; ГОСТ 19.105-78 Единая система программной документации. Общие требования к программным документам; ГОСТ 19.106-78 Единая система программной документации. Требования к программным документам, выполненным печатным способом; ГОСТ 19.201-78 Единая система программной документации. Техническое задание. Требования к содержанию и оформлению; ГОСТ 19.202-78 Единая система программной документации. Спецификация. Требования к содержанию и оформлению; ГОСТ 19.301-79 Единая система программной документации. Программа и методика испытаний. Требования к содержанию и оформлению; ГОСТ 19.401-78 Единая система программной документации.Текст программы. Требования к содержанию и оформлению; ГОСТ 19.402-78 Единая система программной документации. Описание программы; ГОСТ 19.403-79 Единая система программной документации. Ведомость держателей подлинников; ГОСТ 19.404-79 Единая система программной документации. Пояснительная записка. Требования к содержанию и оформлению; ГОСТ 19.501-78 Единая система программной документации. Формуляр. Требования к содержанию и оформлению; ГОСТ 19.502-78 Единая система программной документации. Описание применения. Требования к содержанию и оформлению; ГОСТ 19.503-79 Единая система программной документации. Руководство системного программиста. Требования к содержанию и оформлению; ГОСТ 19.504-79 Единая система программной документации. Руководство программиста. Требования к содержанию и оформлению; ГОСТ 19.505-79 Единая система программной документации. Руководство оператора. Требования к содержанию и оформлению; ГОСТ 19.506-79 Единая система программной документации. Описание языка. Требования к содержанию и оформлению; ГОСТ 19.507-79 Единая система программной документации. Ведомость эксплутационных документов; ГОСТ 19.508-79 Единая система программной документации. Руководство по техническому обслуживанию. Требования к содержанию и оформлению; ГОСТ 19.601-78 Единая система программной документации. Общие правила дублирования, учета и хранения; ГОСТ 19.602-78 Единая система программной документации. Правила дублирования, учета и хранения программных документов, выполненных печатным способом; ГОСТ 19.603-78 Единая система программной документации. Общие правила внесения изменений; ГОСТ 19.604-78 Единая система программной документации. Правила внесения изменений в программные документы, выполненные печатным способом; ГОСТ 19.701-90 (ИСО 5807-85) Единая система программной документации. Схемы алгоритмов, программ, данных и систем. Обозначения условные и правила выполнения; ГОСТ 19781-90 Обеспечение систем обработки информации программное. Термины и определения
Baskı/Yayın Bilgisi: (Москва, Изд-во стандартов, 2001)

Единая система программной документации: Сборник; ГОСТ 19.001-77 Единая система программной документации. Общие положения; ГОСТ 19.005-85 Единая система программной документации. Р-схемы алгоритмов и программ. Обозначения условные графические и правила выполнения; ГОСТ 19.101-77 Единая система программной документации. Виды программ и программных документов; ГОСТ 19.102-77 Единая система программной документации. Стадии разработки; ГОСТ 19.103-77 Единая система программной документации. Обозначения программ и программных документов; ГОСТ 19.104-78 Единая система программной документации. Основные надписи; ГОСТ 19.105-78 Единая система программной документации. Общие требования к программным документам; ГОСТ 19.106-78 Единая система программной документации. Требования к программным документам, выполненным печатным способом; ГОСТ 19.201-78 Единая система программной документации. Техническое задание. Требования к содержанию и оформлению; ГОСТ 19.202-78 Единая система программной документации. Спецификация. Требования к содержанию и оформлению; ГОСТ 19.301-79 Единая система программной документации. Программа и методика испытаний. Требования к содержанию и оформлению; ГОСТ 19.401-78 Единая система программной документации.Текст программы. Требования к содержанию и оформлению; ГОСТ 19.402-78 Единая система программной документации. Описание программы; ГОСТ 19.403-79 Единая система программной документации. Ведомость держателей подлинников; ГОСТ 19.404-79 Единая система программной документации. Пояснительная записка. Требования к содержанию и оформлению; ГОСТ 19.501-78 Единая система программной документации. Формуляр. Требования к содержанию и оформлению; ГОСТ 19.502-78 Единая система программной документации. Описание применения. Требования к содержанию и оформлению; ГОСТ 19.503-79 Единая система программной документации. Руководство системного программиста. Требования к содержанию и оформлению; ГОСТ 19.504-79 Единая система программной документации. Руководство программиста. Требования к содержанию и оформлению; ГОСТ 19.505-79 Единая система программной документации. Руководство оператора. Требования к содержанию и оформлению; ГОСТ 19.506-79 Единая система программной документации. Описание языка. Требования к содержанию и оформлению; ГОСТ 19.507-79 Единая система программной документации. Ведомость эксплутационных документов; ГОСТ 19.508-79 Единая система программной документации. Руководство по техническому обслуживанию. Требования к содержанию и оформлению; ГОСТ 19.601-78 Единая система программной документации. Общие правила дублирования, учета и хранения; ГОСТ 19.602-78 Единая система программной документации. Правила дублирования, учета и хранения программных документов, выполненных печатным способом; ГОСТ 19.603-78 Единая система программной документации. Общие правила внесения изменений; ГОСТ 19.604-78 Единая система программной документации. Правила внесения изменений в программные документы, выполненные печатным способом; ГОСТ 19.701-90 (ИСО 5807-85) Единая система программной документации.Схемы алгоритмов, программ, данных и систем. Обозначения условные и правила выполнения; ГОСТ 19781-90 Обеспечение систем обработки информации программное. Термины и определения
Baskı/Yayın Bilgisi: (Москва, Изд-во стандартов, 1996)

Методы создания качественного программного обеспечения ЭВМ
Yazar:: Бутаков Е. А. Евгений Артемович
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1984)