Search academic texts

Information × Registration Number 0220U103735, 0114U003831 , R & D reports Title Information technology for automating the design and testing of object-oriented software. popup.stage_title Head Smirnov Oleksii A., Доктор технічних наук Registration Date 16-11-2020 Organization Central Ukrainian National Technical University popup.description2  Improved method of synthesis of state models, in which, unlike existing source design information given by the sequences "event - action" class of object-oriented software, is represented as an alphabetical representation based on the algebra of regular events, and the construction of a directly finite-automatic model states is carried out using an adapted method of abstract synthesis of a finite automaton, which generally provides a formalization of the process of determining states and their relationships in the life cycle of a software object at the stage of object-oriented design. Product Description popup.authors Dorensky Alexander P popup.nrat_date 2020-11-16 Close