Home »
Development and research methods of semantic analysis of natural and computer languages in artificial intelligence systems. Automating the analysis of specifications and formal verification of automation systems for programming and simulation

Head Ph.D., Assoc.Prof. Pustovarov V.I.

   The work is based on the direction of "generalized method of automating programming, system programming and knowledge engineering."

   The theory of software design, building programming  automation systems ,efficiency and expansion of applications software systems of the knowledge engineering, implementation of verification systems software and equipment through simulation, formal verification behavior, equipment structures, submitted in languages Verilog HDL and VHDL; automation development of software  systems for  the action control systems, databases and knowledge bases. Development of theoretical foundations and mathematical models to assess the effectiveness of the software during its designing and substantial simplification of automation preparation and adjustment  software of intelligent systems.
 

Мы в Google+
4.6 stars(359 reviews)

RSS кафедри ОТ