Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Анализ крупномасштабных разработок

формат djvu
размер 3.24 МБ
добавлен 22 октября 2009 г.

В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность.
Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих принципы разработки системного и прикладного программного обеспечения.

Похожие разделы

Смотрите также

Брауде Э. Технология разработки программного обеспечения

формат djvu
размер 16.06 МБ
добавлен 01 сентября 2010 г.

Книга является классическим руководством по технологии разработки программного обеспечения. В ней рассматриваются основные этапы процесса разработки программного продукта, включая его описание, проектирование, собственно разработку, интеграцию и тестирование частей, тестирование программы в целом и сопровождение. Каждый из этапов подробно иллюстрируется на конкретных примерах. Отдельные главы посвящены определению типа процесса разработки и управ...

Иванова Г.С. Технология программирования

формат pdf
размер 9.91 МБ
добавлен 01 июня 2009 г.

Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. При этом особое внимание уделено проектированию программных систем с использованием структурного, объектного и компонентного подходов. Детально разобраны основные приемы обеспечения требуемых технологических свойств. Приведена классификация и проанализированы принципы проектирования пользовательских интерфейсов программного обеспечения. И...

Контрольная работа - Основы алгоритмии и языки программирования

Контрольная работа

формат doc
размер 93 КБ
добавлен 07 декабря 2010 г.

Введение 1. Понятие проектирования программного обеспечения 2. Виды проектирования 3. Пример применения основных методов структурного проектирования программного обеспечения при разработке текстового редактора Заключение Список использованной литературы

Котляров В.П. Основы тестирования программного обеспечения

формат djvu
размер 3.2 МБ
добавлен 02 октября 2008 г.

Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г

Майерс Г. Надежность программного обеспечения

формат djvu
размер 3.13 МБ
добавлен 22 октября 2009 г.

И еще одна книга, абсолютно не теряющая своей актуальности. Причина в том, что в ней излагаются теоретические основы надежности ПО. Предлагаемая вниманию книга выгодно отличается от других книг по технологии программирования тем, что в ней из всего разнообразия характеристик программы выделяется одна, но такая, которая позволяет с единых позиций изложить весь сложный комплекс проблем, связанных с радикальным снижением затрат на производство, внед...

Силаенков А.Н. Лекции по технологии программирования

формат doc
размер 3.88 МБ
добавлен 24 мая 2009 г.

Введение в технологию программирования. Характеристики программного обеспечения. Жизненный цикл программного обеспечения. Этапы решения задач на ЭВМ. Этапы разработки программы. Структурное программирование. Пошаговая детализация - основной метод построения текста программного модуля. Объектно-ориентированное программирование. Программирование ветвлений и циклов. Объектно - ориентированное программирование. Программирование обработки таблиц. Объе...

Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения

формат pdf
размер 1.71 МБ
добавлен 15 января 2011 г.

М.: МИФИ, 2006. - 157 с. Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (чело...

Слукин Сергей. Введение в тестирование программного обеспечения

формат pdf
размер 5.64 МБ
добавлен 23 сентября 2011 г.

Авторский курс, 11.03.2009, 134 стр. Введение в тестирование программного обеспечения Методы и виды тестирования Тестовая документация. Общие сведения Тестовые требования Тестовые примеры (Test Case) Тестовые планы (Test Plan) Отчеты о прохождении тестов Покрытие программного кода Тестирование пользовательского интерфейса Тестирование объектно?ориентированного программного обеспечения Регрессионное тестирование

Соммервилл, Иан. Инженерия программного обеспечения

формат doc
размер 14.2 МБ
добавлен 08 июня 2008 г.

Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...

Чернев Д.А. Лекции по дисциплине Технология программирования

формат chm
размер 4.39 МБ
добавлен 05 ноября 2011 г.

Конспект лекций по дисциплине "Технология программирования". В дисциплине «Технология программирования»: - рассматриваются и подробно анализируются этапы разработки программного обеспечения, начиная от этапа его предварительного проектирования и оканчивая сдачей готового испытанного программного продукта заказчику с последующим его сопровождением; - с позиции современной системотехники рассматриваются проблемы проектирования сложных программн...