Search academic texts

Information × Registration Number 0213U003288, 0108U000105 , R & D reports Title Develop and investigate efficient methods of specification and generation of safe systems in technogenic environments. popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 24-01-2013 Organization V.M.Glushkov Institute of Cubernetics of NASU popup.description2 In the modern technological and increasingly competitive environment, security of systems requires a high level of their reliability that have to be provided with the limited resources during implementation of projects. It can be achieved using a variety of design tools, and applying verification methods. Verification of designed systems can be implemented on the base of their logical specification and by means of subsequent modelling. In this direction, there were developed transformers of logical formulas, it was investigated a multi-valued logic of relative truth. There were developed an automated system for control learning process; a site layout, which implements methods to analyse hierarchies and allows providing thematic expert evaluation; linguistic processors designed to support human-computer communication in a specialized field. It was developed an automated method to control itself process of system development. Product Description popup.authors Алєксєєв Дмитро Анатолійович Борисов Євген Сергійович Борисов Сергій Сергійович Волков Владислав Анатолійович Годлевський Олександр Богуславович Гречко Валерій Олегович Довбиш Валентина Яківна Колбасін Микола Іванович Коломейко Володимир Вікторович Криковлюк Олександр Петрович Летичевський Олександр Адольфович Лябах Володимир Федорович Матвєєва Людмила Євгенівна Мороз-Подворчан Ігор Григорович Пинько Олексій Павлович Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Чугаєнко Олесій Васильович Щоголева Наталя Миколаївна popup.nrat_date 2020-04-02 Close