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

Авторы

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

Ключевые слова:

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

Аннотация

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

Библиографические ссылки

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