Анищенко В. В., Цынкевич Е. А. ФОРМАЛИЗАЦИЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ СРЕДСТВ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ ЭЛЕКТРОННЫХ ДОКУМЕНТОВ. Информатика. 2009;(4(24)):90-100.
1. Системы менеджмента качества. Основные положения и словарь : СТБ ИСО/МЭК 9000-2006. – Минск : Госстандарт : БелГИСС, 2006. – 32 с.
2. Булавин, П.В. Правильная оценка дорогого стоит или об оценке эффективности инвестиций в информационные технологии / П.В. Булавин, Н.И. Островская // Ентер-профи: Пермский региональный журнал об информационных технологиях. – 1998. – № 5. – С. 45–49 с.
3. Методика определения эффективности применения ЭВМ в управлении производством. – Минск : ЦНИИТУ, 1967. – 14 с.
4. Методы и практика определения эффективности капитальных вложений и новой техники. – Вып. 16. – М. : Наука, 1969. – 48 с.
5. Методика определения эффективности АСУ производством. – М. : ЦНИИКА, 1970. – 9 с.
6. Методика определения эффективности автоматизированных систем управления производством. – М. : НИИТЭХИМ, 1971. – 11 с.
7. Методики определения фактической эффективности АСУП. – Пермь : ЦСМ, 1973. – 24 с.
8. Единая система стандартов автоматизированных систем управления. Эффективность автоматизированных систем управления : ГОСТ 24.702–85. – М. : Госстандарт, 1985. – 8 с.
9. Методические рекомендации по комплексной оценке эффективности мероприятий, направленных на ускорение научно-технического прогресса. Постановление ГКНТ СССР и президиума АН СССР № 60/52 от 3 марта 1988 г. – М., 1988. – 12 с.
10. Стадии разработки : ГОСТ 19.102–77 ЕСПД. – М. : Госстандарт, 1977. – 8 с.
11. Техническое задание. Требования к содержанию и оформлению : ГОСТ 19.201–78 ЕСПД. – М. : Госстандарт, 1978. – 4 с.
12. Пояснительная записка. Требования к содержанию и оформлению : ГОСТ 19.404–79 ЕСПД. – М. : Госстандарт, 1979. – 4 с.
13. Информационная технология. Комплекс стандартов на автоматизированные сис-темы. Автоматизированные системы. Стадии создания : ГОСТ 34.601–90. – М. : Госстан-дарт, 1990. – 12 с.
14. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Техническое задание на создание автоматизированной системы : ГОСТ 34.602–89. – М. : Госстандарт, 1989. – 20 с.
15. Процессы жизненного цикла программных средств : СТБ ИСО/МЭК 12207–2003. – Минск : Госстандарт, 2003. – 52 с.
16. Цынкевич, Е.А. Математическая модель правомочности электронных документов / Е.А. Цынкевич // Информатика. – 2008. – № 1 (17). – С. 69–83.
17. Цынкевич, Е.А. Критерии обеспечения правомочности систем электронного документооборота / Е.А. Цынкевич // Информатика. – 2008. – № 3 (19). – С. 99–111.
18. Bell, D.E. Secure Computer Systems: A Mathematical Model MTR-2547. Vol. II / D.E. Bell, L.J. La Padula. – Bedford, Massachusetts, 1996.
19. Анищенко, В.В. Формализация оценки рисков в информационных технологиях / В.В. Анищенко, А.В. Цынкевич // Информатика. – 2008. – № 4 (20). – С. 89–103.
20. Bulut, N. Invariant Properties of Algorithms. Ph. D. Thesis / N. Bulut. – USA : Purdue University, 1973. – 215 p.
21. Kulm, G. Language Level and Information Content Measures in Mathematical English. Mathematics, Department Report / G. Kulm. – USA : Purdue University, 1974.
22. Otterstein, K.J. A Program to Count Operators and Operands for ANSI – Fortran Modules. Technical Report 196, Computer Science Department / K.J. Otterstein. – USA : Purdue University, 1976. – 33 p.
23. Холстед, М.Х. Начала науки о программах / М.Х. Холстед ; пер. с англ. – М. : Финансы и статистика, 1981. – 128 с.
24. Шеннон, К. Работы по теории информации и кибернетике / К. Шеннон ; пер. с англ. – М., 1963. – 829 с.
25. Ingojo, J.B. Modularization in the Pilot Compiler and Its Effect on the Length. Computer Science Department Tehnical Report 169 / J.B. Ingojo. – USA : Purdue University, 1975. – 35 p.
