Application and Development of Linguistic Software Tools for Analyzing and Transforming the Texts of Requirements for Software Systems von Morokhovets, M. K., Shchogoleva, N. M.

Volltext

New Functionalities of the System for Processing Natural Language Specifications and its Operating Environment von Mishchenko, N. M., Morokhovets, M. K., Felizhanko, O. D., Shtelik, Y. V., Shchogoleva, N. N.

Volltext

Glushkov’s evidence algorithm von Letichevsky, A. A., Lyaletski, A. V., Morokhovets, M. K.

Volltext

International workshop “automata, algorithms, and information technologies” von Morokhovets, M. K.

Volltext

Cyber-Physical Systems: The Linguistic Aspect von Godlevsky, A. B., Morokhovets, M. K.

Volltext

Parallel inference search in logical calculus based on the algebraic programming system von Letichevsky, A. A., German, V. N., Morokhovets, M. K., Shchogoleva, N. N.

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems von Godlevsky, A. B., Mishchenko, N. M., Morokhovets, M. K., Felizhanko, O. D., Shchogoleva, N. N.

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems^sup von Godlevsky, A B, Mishchenko, N M, Morokhovets, M K, Felizhanko, O D, Shchogoleva, N N

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems super() von Godlevsky, AB, Mishchenko, N M, Morokhovets, M K, Felizhanko, O D, Shchogoleva, N N

Volltext

The evidence algorithm and problems of representation and processing of mathematical computer knowledge von Degtyarev, A. I., Kapitonova, Yu. V., Letichevskii, A. A., Lyaletski, A. V., Morokhovets, M. K.

Volltext

Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system von Atayan, V. V., Morokhovets, M. K.

Volltext

Resolution approach to testing compatibility of interacting automata von Morokhovets, M. K., Chebotarev, A. N.

Volltext

Deduction-seeking procedures and transitive relations von Morokhovets, M. K.

Volltext

Strategies of the search for derivation of statements with restricted quantifiers von Vershinin, K. P., Morokhovets, M. K.

Volltext

Resolution-based approach to compatibility analysis of interacting automata von Chebotarev, Anatoli N., Morokhovets, Marina K.

Volltext

Evidence Algorithm and Sequent Logical Inference Search von Degtyarev, Anatoli I., Lyaletski, Alexander V., Morokhovets, Marina K.

Volltext

Consistency checking of automata functional specifications von Chebotarev, Anatoli N., Morokhovets, Marina K.

Volltext

Some Means of Processing Electronic Text Documents von Letychevskyi, Oleksandr O., Morokhovets, Maryna K., Shchogoleva, Natalia M.

Volltext