Книга: «Проверка и утверждение программ реального времени»
|
Монография посвящена проблеме повышения надежности программного обеспечения систем реального времени путем проверки внутренней правильности на основе структурного анализа программ аналитическими методами. Рассматривается использование аппарата сетей Петри, тестирования, в том числе статистическими методами, а также моделирования для определения системной приемлемости (утверждения) программ. Обсуждается широкий круг вопросов разработки программного обеспечения систем реального времени, использования теоретического аппарата и инструментария на различных стадиях его жизненного цикла. Для специалистов в области программного обеспечения систем. Издательство: "Наукова думка" (1990) Формат: 60x84/16, 216 стр.
ISBN: 5-12-000381-8, 3-540-15102-8 Купить за 368 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|
См. также в других словарях:
Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… … Энциклопедия инвестора
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Казначейство — (Treasury) Определение казначейства, структура, задачи и функции казначейства Информация об определении казначейства, структура, задачи и функции казначейства Содержание Содержание Обозначение казначейской системы исполнения по Необходимость… … Энциклопедия инвестора
Рынок — (Market) Рынок это система отношений между продавцом (производителем услуг/товаров) и покупателем (потребителем услуг/товаров) История возникновения рынка, функции ранка, законы рынка, виды рынков, свободный рынок, государственное регулирование… … Энциклопедия инвестора
G-DATA — Software AG Тип Акционерное общество Год основания 1985 Расположение … Википедия
Государственная программа — (Government program) Государственная программа это инструмент государственного регулирования экономики, обеспечивающий достижение перспективных целей Понятие государственной программы, виды государственных федеральных и муниципальных программ,… … Энциклопедия инвестора
