Search academic texts

Information × Registration Number 0207U000006, 0102U003204 , R & D reports Title To develop methods and tools for the knowledge generation and manipulation in the operation environment of the intelligent information technologies. popup.stage_title Head Letichevsky A.A. Perevozchikova O.L., Registration Date 03-01-2007 Organization V.M.Glushkov Institute of Cybernetics of NASU popup.description2 The new methods of the formalisation of require-ments and specifications for distributed software sys-tems by means of basic protocols have been developed. Deductive methods for verification and test generation using theorem proving techniques have been built. The formal algebra-grammar apparatus of the automatic transformation of an unsorted set of calculation modules to the structured application representation with representation and optimization of user interface of internet/intranet applications including proof of related theorems and claims. The apparatus has been integrated with the program generation tools and verified on the set of applications. Product Description popup.authors popup.nrat_date 2020-04-02 Close