Proof of the adequacy of the developed software for the real system of legal proceedings and legal proceedings in the Kyrgyz Republic

Authors

S.Ts. Manzhikova
Madimova B.S. Kyrgyz-Russian Slavic University, Kyrgyz Republic,

Keywords:

CSP, litigation, AND, ISBN, XOR, case

Abstract

Any software system (PS) is actually an algorithmic, programmed model of that real subject area, for the solution of problems of which or for the maintenance of which this PS is intended and / or developed.

References

Новиков Ф.А. Дискретная математика для программистов: Учебник для вузов – СПб.: Питер, 2009. – 384 с.: ил.

2. C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback. http://ru.wikipedia.org/wiki/C._A._R._Hoare

Калянов Г.Н. Моделирование, анализ, реорганизация и автоматизация бизнес-процессов: Уч. пособие. – М.: Финансы и статистика, 2006. – 240 с.: ил.