Search academic texts

Information × Registration Number 0213U003294, 0108U000106 , R & D reports Title Develop a theory and methods of insertion modeling and verification of multilevel interactive systems. popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 24-01-2013 Organization V.M.Glushkov Institute of Cubernetics of NASU popup.description2 Tools for the modeling and verification of many-level interactive systems have been developed and approved. Insertion machines of two types (real-time, or interactive, machines, and analytical insertion machines) have been proposed and investigated. Methods and algorithms for constructing the solver of linear bindings over reals and rationals have been developed. Some methods for program verification performance improvement have been developed: the method of the construction of dynamic abstractions and the method for the optimization of the transition preconditions of the formal models of concretized systems have been developed. An approach to the integration of the practices of agile software development and traditional CMMI-based models has been proposed. Product Description popup.authors Єлфімова Лариса Дмитрівна Алєксєєв Дмитро Анатолійович Атдаєва Світлана Григорівна Волков Владислав Анатолійович Герман Віталій Миколайович Гребнєв Валерій Олександрович Гречко Валерій Олегович Довбиш Валентина Яківна Колбасін Микола Іванович Коломейко Володимир Вікторович Колчин Олександр Валентинович Летичевський Олександр Адольфович Летичевський Олександр Олександрович Мітченко Олександр Іванович Матвєєва Людмила Євгенівна Мороз-Подворчан Ігор Григорович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Чугаєнко Олексій Васильович Яковлев Віктор Михайлович popup.nrat_date 2020-04-02 Close