ДОКАЗАТЕЛЬСТВО АДЕКВАТНОСТИ РАЗРАБАТЫВАЕМОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РЕАЛЬНОЙ СИСТЕМЫ СУДОПРОИЗВОДСТВА И СУДЕБНОГО ДЕЛОПРОИЗВОДСТВА КР

Авторлор

С.Ц. Манжикова ##common.commaListSeparator## ##common.commaListSeparator##
Б.С. Мадимова Kyrgyz-Russian Slavic University, Kyrgyz Republic, ##common.commaListSeparator## ##common.commaListSeparator## Кыргызско-Российский Славянский Университет, Кыргызская Республика,

##semicolon##

CSP, судебное делопроизводство, AND, ISBN, XOR, дело

Аннотация

Любая программная система (ПС) фактически является алгоритмической, программированной моделью той реальной предметной области, для решения проблем которой или для обслуживания которой эта ПС предназначена и/или разрабатывается.

##submission.citations##

Новиков Ф.А. Дискретная математика для программистов: Учебник для вузов – СПб.: Питер, 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 с.: ил.