Search academic texts

Information × Registration Number 0215U008366, 0111U007052 , R & D reports Title The formal specification and methods for developing of reliable software systems. popup.stage_title Head Nikitchenko Mykola Stepanovych, Доктор фізико-математичних наук Registration Date 25-12-2015 Organization Taras Shevchenko Kiev university popup.description2 Described meaningful semantics specification language software and hardware management of nuclear power plants, as well as given a formal compositional semantics of the language specifications of this class. The formal specifications and methods for developing reliable software systems relating to the composition-nominative class. Product Description popup.authors Бондар Алла Василівна Буй Дмитро Борисович Нікітченко Микола Степанович Парфірова Тетяна Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна popup.nrat_date 2020-04-02 Close