|
advertisement |
|
|
|
|
|
|
Aerospace Instrument-Making Annotation << Back
Development of functional software requirements for safety critical systems with use of formal specification |
O.O. Boykova, G.I. Gerasimov, I.A. Mezentsev, A.S. Nikulin, M.I. Orehov
The safety of system under development depends on quality of functional software requirements for this system. Problem disclosed in the research covers representation of requirements with use of formal specification and justification of unambiguity and consistency of requirements.
E-mail: rpkb@spase.ru |
|
|
|
Last news:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |