Search academic texts

Information × Registration Number 0215U004851, 0114U001640 , R & D reports Title Cognitive Architecture for understanding software systems popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 10-12-2015 Organization V.M.Glushkov Institute of Cubernetics of NASU popup.description2 Basing on insertion modeling multilayer cognitive architecture ICAR has been created, developed and researched the specialization of cognitive insertion machine that supports annotation method Floyd proof applications has been developed and studied. A symbolic modeling methods for solving problems of requirements verification and generation of test scenarios have been created. Formal semantics of language UCM was justified and algorithms for insertion modeling of formal UCM models were developed. The prototype of universal intelligent assistant for computer programmers working on the verification and testing of software components, which represent a multi-agent distributed systems was developed. Product Description popup.authors Волков Владислав Анатолійович Годлевський Олександр Богуславович Губа Антон Андрійович Довбиш Валентина Яківна Колбасін Микола Іванович Колчин Олександр Валентинович Летичевський Олександр Адольфович Летичевський Олександр Олесандрович Ляскало Леся Євгенівна Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна Яковлев Віктор Михайлович popup.nrat_date 2020-04-02 Close