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