|
реклама |
|
|
|
|
|
|
Авиакосмическое приборостроение Аннотация к статье << Назад
Разработка требований к функциональному программному обеспечению критичных по безопасности систем с использованием формальных спецификаций |
О.О. Бойкова, Г.И. Герасимов, И.А. Мезенцев, А.С. Никулин, М.И. Орехов
Надежность функционирования системы находится в зависимости от функциональных требований к программному обеспечению системы. Проблема, рассматриваемая в работе, представление требований в таком виде, который бы позволил анализировать их для исключения неоднозначности и противоречий. E-mail: rpkb@spase.ru |
|
|
|
Последние новости:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |