The computer program “Automated system “Integrated toolkit for design and synthesis of programs” (“DSP”)


Automated construction of high-level specifications (schemes) of sequential and parallel algorithms and program generation in C ++, Java for various subject areas.


The toolkit is based on the systems of algorithmic algebras (CAA) by V.M. Glushkov, which are intended for the formal design of algorithms in algebraic, natural-linguistic and graph forms.


Meteorological forecasting.


The system uses the specifications of the algebra of algorithms, presented in a natural-linguistic form, which makes it easier to understand the algorithms and achieve the required quality of programs, and also uses the method of interactive construction of syntactically correct algorithm schemes, which eliminates the possibility of syntactic errors in the process of designing algorithms.

More details…