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
