Книги почтой booksiti.net.ru  (499)2130422

    есть на складе                                                                       
СКИДКИ - РАСПРОДАЖА

 (499) 213 04 22
Программирование Программирование
Основы программирования и алгоритмы Основы программирования и алгоритмы

Наименование:

Принципы и методы создания надежного программного обеспечения АСУТП

Автор:   Мякишев Д.В.
мягкая обложка
114 страниц
2017 год
Издательство:   Инфра-Инженерия
Цена:
799 руб
Количество

способы доставки и оплаты
Описание:Показана актуальность проблемы повышения надежности создаваемого ПО. Приведены основные определения, факторы, влияющие на надежность программного обеспечения, рассмотрены принципы и методы построения надежного ПО. Даны практические рекомендации и методики, направленные на повышение надежности разрабатываемого ПО. Пособие иллюстрируется примерами из области ПО АСУТП АЭС, приведены детализированные требования, рекомендации и методика по проектированию и реализации программного обеспечения. Оно также может быть полезно студентам соответствующих специальностей в качестве методического материала. Цель настоящего пособия - дать базовые навыки, необходимые для разработки надежного программного обеспечения (ПО), построить "мост" между зачастую незаслуженно забытыми трудами "патриархов" и современной практикой программирования. Пособие предназначено для специалистов, занимающимся разработкой ПО для оснащения критически важных объектов (КВО).


Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка

2990 руб
Бесплатная доставка


Технологии программирования

Наиболее известным из методов доказательства частичной корректности программ является метод индуктивных утверждений, предложенный Флойдом и усовершенствованный Хоаром. Один из важных этапов этого метода — получение аннотированной программы. На этом этапе для синтаксически правильной программы должны быть заданы утверждения на языке логики предикатов первого порядка: входной предикат; выходной предикат. Эти утверждения задаются для входной точки цикла и должны характеризовать семантику вычислений в цикле. Доказательство неистинности условий корректности свидетельствует о неправильности программы или ее спецификации, или программы и спецификации. По влиянию на результаты обработки информации к надежности и устойчивости программного обеспечения близка и точность программного обеспечения, определяемая ошибками метода и ошибками представления данных. Наиболее простыми методами оценки надежности программного обеспечения являются эмпирические модели, основанные на опыте разработки программ: если до начала тестирования на 1000 операторов приходится 10 ошибок, а приемлемым качеством является 1 ошибка, то в ходе тестирования надо найти: Более точна модель Холстеда: N ошибок = N операторов * log2(N операторов — N операндов), где N операторов — число операторов в программе; N операндов — число операндов в программе ...»

Код для вставки книги в блог
HTML

phpBB

текст

Карточная игра "Уно".
Уно – это популярная настольная игра, широко известная по всему миру. В каждом раунде, первым избавляйся от всех карт, набирая очки за
389 руб
Раздел: Колоды карт
Вешалка для одежды напольная ТД-00014, две перекладины, 800x430x1550 мм.
Длина: 80 см. Регулируемая высота: 90-155 см. Ширина: 43 см. Количество перекладин: 2. Максимальная нагрузка: 15 кг. Вешалка напольная
1078 руб
Раздел: Вешалки напольные
Стульчик-подставка "Тачки".
Многофункциональный детский стульчик-подставка - для более комфортного пользования унитазом и умывальником. С антискользящим прорезиненным
459 руб
Раздел: Подставки под ноги


Подход к созданию модели человека без привязки к конкретному программному обеспечению; Практические методы создания реалистичных черт лица, рук, кистей, зубов, волос и другого (пер. с англ. Соколова Р. А. ) + CD-Rom - 400 с. Практическое руководство по методам и инструментам для моделирования человека; Цифровая модель человека:
          275 руб             `04 год

Управление проектами по созданию программного обеспечения
Уокер Ройс предлагает индустрии ПО новую точку отсчета для принятия тактических и стратегических решений, повышающую вероятность успеха проектов. Книга содержит: Десять основных принципов современного управления проектами по созданию ПО Стратегии постепенного перехода организаций к использованию современных процессов и технологий (таких, как Rational Unified Process) Методы мотивации и эффективного управления коллективами разработчиков ПО Результаты воздействия технологии, человеческого фактора и экономики на управление проектами Метрики и руководство по прогнозированию затрат, сроков и качества Уокер Ройс является вице-президентом и генеральным директором корпорации Rational Software.
          540 руб             2011 год          424 стр.          мягкая обложка

Вальсируя с медведями: управление рисками в проектах по разработке программного обеспечения
Компании, избегающие рисков и концентрирующие усилия только на том, что наверняка умеют делать хорошо, засевают поле для своих соперников.
          423 руб             2005 год          208 стр.          твердый переплет

Тайны программного обеспечения: Настройки Setup bios award; Секреты MS-DOS; Секреты установки Windows и др. - 304 с. {Популярный компьютер} ISBN 5-901321-76-6 ~94.03.05 146
          162 руб             `04 год

Технология разработки программного обеспечения (пер. с англ. Бочкаревой Э., Солнышкова Д.) ISBN 5-94723-663-X
Предназначена для студентов и аспирантов, специализирующихся в области программного обеспечения, а также для профессиональных разработчиков.
          176 руб             2004 год          655 стр.          Твердый переплет

Проектирование программного обеспечения экономических информационных систем: Учебник для студентов, обучающихся по специальностям 'Прикладная информатика' и 'Прикладная математика и информатика'
Описаны процессы, модели и стадии жизненного цикла программного обеспечения (ПО) экономических информационных систем.
          72 руб             2002 год          352 стр.          Целофанированный переплет

Налоговая оптимизация: принципы, методы, рекомендации, арбитражная практика
Это явление объективно не зависит от государственного строя и морального облика населения.
          195 руб             2007 год          320 стр.          мягкая обложка

Введение в тестирование программного обеспечения (пер. с англ.,под ред. Марченко В.В.) ISBN 5-8459-0394-7 0-201-71974-6
          189 руб             2003 год

Стратегия управления конфигурацией программного обеспечения IBM Rational ClearCase
Второе издание книги описывает последние новшества ClearCase и ClearQuest, при этом еще глубже проникая в стратегию и управление SCM.
          423 руб             2008 год          384 стр.          мягкая обложка

Джоэл о программировании: и разнообразных и иногда родственных вопросах, которые должны быть интересны разработчикам программного обеспечения, проектировщикам и менеджерам, а также тем, кому посчастливилось или не повезло в каком-то качестве работать с ни
Затронуты практически все вообразимые аспекты создания ПО от лучших способов устройства рабочего места программиста до лучших способов написания программного кода.
          883 руб             2013 год          352 стр.          мягкая обложка

Шанс усвоить уроки, которые преподносит вам код; Экстремальное программирование: Разработка через тестирование: Жизнь пользователей разработанного вами программного обеспечения улучшится; Ваши коллеги смогут рассчитывать на вас, а вы сможете рассчитывать на них (пер. с англ. Аджана П. ) Библиотека программиста Предсказуемый способ разработки программ;
Книга будет полезна для любого программиста, желающего повысить производительность своей работы и получить удовольствие от программирования.
          167 руб             2003 год

Бережливое производство программного обеспечения: от идеи до прибыли
          824 руб             2010 год          256 стр.          твердый переплет

Джоэл: и снова о программировании. Новые мысли о разнообразных и иногда родственных вопросах, которые должны быть интересны разработчикам программного обеспечения, проектировщикам и менеджерам, а так же тем, кому посчастливилось или не повезло в каком-то
Продолжение вышедшего в 2006 году бестселлера «Джоэл о программировании» представляет собой подборку самых популярных статей, опубликованных автором на его сайте.
          883 руб             2015 год          320 стр.          мягкая обложка

Порядок создания, модернизации и сопровождения АСУТП. Методическое пособие
Стандарт доказал свою эффективность в работе над многими проектами автоматизации химических, нефтехимических и нефтеперерабатывающих производств.
          1297 руб             2011 год          576 стр.          твердый переплет

Управление качеством программного обеспечения. Учебник. Гриф УМО МО РФ
Рассмотрены вопросы управления качеством, оценки характеристик и измерения метрик программного обеспечения по наиболее известным методикам.
          848 руб             2017 год          240 стр.          твердый переплет

ATDD - разработка программного обеспечения через приемочные тесты
Однако на практике многие не понимают, в чем истинный смысл ATDD.
          747 руб             2013 год          232 стр.          мягкая обложка

Быстрая разработка программного обеспечения
Вместо того чтобы увеличивать загрузку отдельного разработчика, создатели "быстрых" методологий спрашивают: "Как изменить процесс, чтобы работа команды стала не просто более продуктивной, но и более качественной? " И отвечают: "Учиться "играть"".
          808 руб             2014 год          314 стр.          мягкая обложка

Раздувание программного обеспечения
          1127 руб             2013 год          103 стр.          мягкая обложка

Легализация программного обеспечения
Легализация ПО — это отказ от «пиратского» использования программ, переход с использования проприетарного программного обеспечения, не сопровождаемого лицензиями (то есть разрешениями на использование этого ПО от его владельца или правообладателя) на использование ПО, сопровождаемого этими документами (или не требующего их).
          1000 руб             2013 год          101 стр.          мягкая обложка

Установка программного обеспечения
Установка программного обеспечения, инсталляция — процесс установки программного обеспечения на компьютер конечного пользователя.
          1127 руб             2013 год          102 стр.          мягкая обложка

Информационные технологии. Пакеты программного обеспечения общего блока «IT-инструментарий». Монография
          754 руб             2015 год          43 стр.          мягкая обложка

Разработка, внедрение и адаптация программного обеспечения отраслевой направленности: Учебное пособие
Учебное пособие подготовлено для студентов учреждений среднего профессионального образования по специальности 09. 02. 05 — Прикладная информатика (по отраслям) по профессиональному модулю « Разработка, внедрение и адаптация программного обеспечения отраслевой направленности» и полностью соответствует Федеральному Государственному образовательному стандарту СПО по данной специальности. Гриф МО РФ. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности, описываются стандарты качества программного обеспечения.
          864 руб -15% 734 руб             2018 год          336 стр.          твердый переплет

Использование Docker. Разработка и внедрение программного обеспечения при помощи технологии контейнеров. Руководство
Контейнеры Docker предоставляют простые быстрые и надежные методы разработки, распространения и запуска программного обеспечения, особенно в динамических и распределенных средах.
          1093 руб             2017 год          354 стр.          мягкая обложка

Введение в тестирование программного обеспечения. Руководство
Тестирование играет жизненно важную роль в разработке качественного программного обеспечения.
          1522 руб             2018 год          368 стр.          мягкая обложка

Самые сильные заговоры: Уникальный метод создания - 342 с. {Великие целители мира} ISBN 5-93878-079-9 ~92.08.16 000
          174 руб             `02 год

Датчики технологических процессов: характеристики и методы повышения надежности
Монография посвящена промышленным датчикам технологических процессов, современным методам измерения их характеристик, типичным проблемам, которые возникают при эксплуатации измерительной аппаратуры, методам ее диагностики и повышения надежности.
          1155 руб             2008 год          336 стр.          твердый переплет

Модели и методы расчета надежности технических систем
Изложены методы расчета показателей надежности, использующие основные формулы теории вероятностей и комбинаторики.
          636 руб             2016 год          256 стр.          мягкая обложка

Численные методы и программное обеспечение
          2 руб             2001 год          575 стр.          твердый переплет

Принципы и методы исцеления души и тела - 176 с. {Метапсихология} Вирусы сознания:
Вирусы сознания, подобно компьютерным вирусам, поражают основные программы жизнедеятельности.
          61 руб             `04 год

Приемы и методы контроля; Принципы формирования себестоимости; Классификация ошибок - 128 с. {Бухгалтеру и аудитору} Аудит затрат на производство:
В работе приводятся постановка, теоретическое обоснование и решение комплекса вопросов, связанных с совершенствованием методики аудита затрат на производство продукции (работ, услуг).
          60 руб             `04 год

НОВЫЙ ГОД


на главную

 (499) 213 04 22

Интернет магазин Книги почтой booksiti.net.ru, все книги Вы можете приобрести наложенным платежом, сделав заказ на сайте. Большой выбор литературы по бизнесу, экономике, праву. Техническая научная литература. Детские книги и учебники для школы. Медицинские издания. Художественная литература. Сайт booksiti.net.ru это интернет-магазин литературы, который успешно работает на книжном рынке уже 3 года. Ведущим методом работы является рассылка литературы наложенным платежом в регионы. В крупных издательствах наложенным платежом книги не отправляют, а что делать покупателю, дабы гарантированно получить свой заказ? При отправке наложенным платежом заказ оплачивается при получении на почте, что важно для розничного покупателя. Ведь не все необходимые для работы книги можно купить в родном городе. Если вы всю жизнь идёте по пути самосовершенствования и саморазвития, то на сайте booksiti.net.ru вы обязательно найдете для себя новые и интересные книги.