Надежность программной продукции
| Main Author: | Карповский Е. Я. Ефим Яковлевич |
|---|---|
| Other Authors: | Чижов С. А. Сергей Алексеевич |
| Language: | Russian |
| Published: |
Киев, Тэхника, 1990
|
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=228851 |
Similar Items
Нормирование жизненного цикла программной продукции
by: Котов С. Л. Сергей Львович
Published: (Москва, ЮНИТИ-ДАНА, 2002)
by: Котов С. Л. Сергей Львович
Published: (Москва, ЮНИТИ-ДАНА, 2002)
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
by: Тейер Т. Томас
Published: (Москва, Мир, 1981)
by: Тейер Т. Томас
Published: (Москва, Мир, 1981)
Цикл компьютерных лабораторных работ по физике на базе графической программной технологии; Естественнонаучное образование - фундамент устойчивого развития общества
Published: (2000)
Published: (2000)
Оценка надежности программного обеспечения
by: Пальчун Б. П. Борис Павлович
Published: (СПб., Наука, 1994)
by: Пальчун Б. П. Борис Павлович
Published: (СПб., Наука, 1994)
Способ использования программной среды Labview для анализа следящей системы; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 1
by: Ле Ван Туан
Published: (2014)
by: Ле Ван Туан
Published: (2014)
Прогрессивные технологии программирования: материалы семинара
Published: (Москва, Знание, 1983)
Published: (Москва, Знание, 1983)
Язык компьютера: пер. с англ.
Published: (Москва, Мир, 1989)
Published: (Москва, Мир, 1989)
Процессы и стандарты жизненного цикла сложных программных средств: справочник
by: Липаев В. В. Владимир Васильевич
Published: (Москва, СИНТЕГ, 2006)
by: Липаев В. В. Владимир Васильевич
Published: (Москва, СИНТЕГ, 2006)
Характеристики качества программного обеспечения: пер. с англ.
Published: (Москва, Мир, 1981)
Published: (Москва, Мир, 1981)
Макропроцессоры и мобильность программного обеспечения: пер. с англ.
by: Браун П. Питер Дж.
Published: (Москва, Мир, 1977)
by: Браун П. Питер Дж.
Published: (Москва, Мир, 1977)
Корректность, устойчивость, точность программного обеспечения
by: Тоценко В. Г. Виталий Георгиевич
Published: (Киев, Наукова думка, 1990)
by: Тоценко В. Г. Виталий Георгиевич
Published: (Киев, Наукова думка, 1990)
Методы и средства синтеза программного обеспечения в ЭФ-технологии проектирования СРВ: диссертация на соискание ученой степени кандидата технических наук; Спец.05.13.11.
by: Балова Т. Г. Татьяна Григорьевна
Published: (Томск, 1986)
by: Балова Т. Г. Татьяна Григорьевна
Published: (Томск, 1986)
Структурное проектирование надежных программ встроенных ЭВМ
by: Штрик А. А.
Published: (Ленинград, Машиностроение, 1989)
by: Штрик А. А.
Published: (Ленинград, Машиностроение, 1989)
Математическое и программное обеспечение задач дискретной оптимизации: сборник научных трудов
Published: (Киев, ИК, 1989)
Published: (Киев, ИК, 1989)
Надежность вычислительных систем: пер. с англ.
by: Лонгботтом Р. Рой
Published: (Москва, Энергоатомиздат, 1985)
by: Лонгботтом Р. Рой
Published: (Москва, Энергоатомиздат, 1985)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: диссертация на соискание ученой степени кандидата технических наук
by: Сарайкин А. В. Андрей Витальевич
Published: (Томск, 2000)
by: Сарайкин А. В. Андрей Витальевич
Published: (Томск, 2000)
Анализ электронных схем на ЭЦВМ
Published: (Львов, Вища школа, 1975)
Published: (Львов, Вища школа, 1975)
Надежность аппаратно-программных комплексов: учебное пособие для вузов
by: Черкесов Г. Н. Геннадий Николаевич
Published: (СПб., Питер, 2005)
by: Черкесов Г. Н. Геннадий Николаевич
Published: (СПб., Питер, 2005)
Электронные вычислительные машины: учебное пособие
by: Разин В. М. Виктор Мартемьянович
Published: (Томск, ТПИ, 1975)
by: Разин В. М. Виктор Мартемьянович
Published: (Томск, ТПИ, 1975)
Справочник по цифровой вычислительной технике. ( Программное обеспечение)
Published: (Киев, Технiка, 1981)
Published: (Киев, Технiка, 1981)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: автореферат диссертации на соискание ученой степени кандидата технических наук
by: Сарайкин А. В. Андрей Витальевич
Published: (Томск, [Б. и.], 2000)
by: Сарайкин А. В. Андрей Витальевич
Published: (Томск, [Б. и.], 2000)
C Tools for Scientists and Engineers
by: Baker L. Louis
Published: (New York, McGraw-Hill Publishing Company, 1989)
by: Baker L. Louis
Published: (New York, McGraw-Hill Publishing Company, 1989)
Создание и реализация имитационных моделей в программной среде AnyLogic: учебное пособие
by: Бунцев И. А. Иван Александрович
Published: (Москва, Горячая линия-Телеком, 2015)
by: Бунцев И. А. Иван Александрович
Published: (Москва, Горячая линия-Телеком, 2015)
Надежность программного обеспечения систем обработки данных: учебник
by: Шураков В. В. Виктор Владимирович
Published: (Москва, Финансы и статистика, 1987)
by: Шураков В. В. Виктор Владимирович
Published: (Москва, Финансы и статистика, 1987)
Надежность программного обеспечения систем обработки данных: учебник
by: Шураков В. В. Виктор Владимирович
Published: (Москва, Статистика, 1981)
by: Шураков В. В. Виктор Владимирович
Published: (Москва, Статистика, 1981)
Вычислительные машины и системы: учебное пособие
Published: (Москва, Высшая школа, 1993)
Published: (Москва, Высшая школа, 1993)
Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Published: (1987)
Published: (1987)
Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Published: (1991)
Published: (1991)
Надежность специального математического обеспечения управления
by: Карповский Е. Я. Ефим Яковлевич
Published: (Киев, Вища школа, 1982)
by: Карповский Е. Я. Ефим Яковлевич
Published: (Киев, Вища школа, 1982)
Электронные вычислительные машины. Введение в специальность: учебное пособие
by: Разин В. М. Виктор Мартемьянович
Published: (Томск, ТПИ, 1985)
by: Разин В. М. Виктор Мартемьянович
Published: (Томск, ТПИ, 1985)
Алгоритмы и структуры данных: пер. с англ.
by: Вирт Н. Никлаус
Published: (Москва, Мир, 1989)
by: Вирт Н. Никлаус
Published: (Москва, Мир, 1989)
Алгоритмы + структуры данных-программы: пер. с англ.
by: Вирт Н. Никлаус
Published: (Москва, Мир, 1985)
by: Вирт Н. Никлаус
Published: (Москва, Мир, 1985)
Ч. 1; Руководство пользователя ПЭВМ
Published: (1992)
Published: (1992)
Вып. 1: Общие сведения. Графический ввод схем; Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ
Published: (1992)
Published: (1992)
Надёжность электронных вычислительных машин; (Основы теории и расчёта)
by: Вайрадян А. С. Акоп Семёнович
Published: (Москва, Изд-во МИФИ, 1966)
by: Вайрадян А. С. Акоп Семёнович
Published: (Москва, Изд-во МИФИ, 1966)
Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа: диссертация на соискание ученой степени кандидата технических наук
by: Рыбалка С. А. Сергей Анатольевич
Published: (Томск, Изд-во ТПУ, 1997)
by: Рыбалка С. А. Сергей Анатольевич
Published: (Томск, Изд-во ТПУ, 1997)
Интегрированная информационная поддержка жизненного цикла машиностроительной продукции: принципы, технологии, методы, модели
by: Судов Е. В. Евгений Владимирович
Published: (Москва, Издательский Дом МВМ, 2003)
by: Судов Е. В. Евгений Владимирович
Published: (Москва, Издательский Дом МВМ, 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 Обеспечение систем обработки информации программное. Термины и определения
Published: (Москва, Изд-во стандартов, 2001)
Published: (Москва, Изд-во стандартов, 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 Обеспечение систем обработки информации программное. Термины и определения
Published: (Москва, Изд-во стандартов, 1996)
Published: (Москва, Изд-во стандартов, 1996)
Методы создания качественного программного обеспечения ЭВМ
by: Бутаков Е. А. Евгений Артемович
Published: (Москва, Энергоатомиздат, 1984)
by: Бутаков Е. А. Евгений Артемович
Published: (Москва, Энергоатомиздат, 1984)
Similar Items
-
Нормирование жизненного цикла программной продукции
by: Котов С. Л. Сергей Львович
Published: (Москва, ЮНИТИ-ДАНА, 2002) -
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
by: Тейер Т. Томас
Published: (Москва, Мир, 1981) -
Цикл компьютерных лабораторных работ по физике на базе графической программной технологии; Естественнонаучное образование - фундамент устойчивого развития общества
Published: (2000) -
Оценка надежности программного обеспечения
by: Пальчун Б. П. Борис Павлович
Published: (СПб., Наука, 1994) -
Способ использования программной среды Labview для анализа следящей системы; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 1
by: Ле Ван Туан
Published: (2014)