Методы и программные средства управления конфигурациями проектов разработки встроенных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Налютин, Никита Юрьевич

• Налютин, Никита Юрьевич
• кандидат технических наук
• 2008

Оглавление диссертации кандидат технических наук Налютин, Никита Юрьевич

СОДЕРЖАНИЕ.

ВВЕДЕНИЕ.

ГЛАВА 1. Современные методы управления конфигурациями при разработке встроенных программных систем.

1.1. Процессы разработки встроенных систем.'.

1.2. Общая характеристика процесса управления конфигурациями.

1.3. Требования отраслевых и международных стандартов к процессу управления конфигурациями.

1.3.1 Процессы управления конфигурациями по ГОСТ Р 51904-2002.

1.3.2, Процессы управления конфигурациями по DO-178В.

1.3.3 Процессы управления конфигурациями по ISO 9001:2000/is0 10007.

1.3.4 Процессы управления конфигурациями по AS 9100В / AS 9006В.

1.3.5 Сравнительная характеристика требований DO-178В, ISO 9001:2000/is0 10007 и AS 9100В.

1.4. Компоненты современных систем управления конфигурациями.

1.5. Современные модели процесса управления конфигурациями.

1.6. Цель и задачи диссертационного исследования-.

ГЛАВА 2. Теоретические аспекты метода управления конфигурациями при разработке встроенных систем.

2.1. Построение математической модели конфигураций объектов разработки ВС

2.1.1 Основные определения.

2.1.2 Структура конфигурации как формальная теория.

2.1.3 Древовидные конфигурации как модель формальной теории.

2.1.4 Процесс создания конфигурации при помощи правил вывода.

2.2. Построение математической модели вычисления состояний объектов конфигурации.

2:2.1 Основные определения алгебраической модели вычисления состояний конфигураций.

2.2.2 Вычисление состояний ОК.

2.2.3 Типизация конфигураций.

2.3. Эвристический метод оценки степени завершенности конфигурации.

2.4. Выводы по главе.

ГЛАВА 3. Проектирование инструментальных средств управления конфигурациями.

3.1. Реляционная модель обобщенного объекта конфигурации.

3.2. Объект конфигурации как абстрактный класс данных.

3.3. Жизненный цикл разработки и сопровождения системы управления конфигурациями.

3.4. Проектирование и реализация системы DMS.

3.4.1 Общая характеристика системы DMS.

3.4.2 Инструментальные средства реализации.

3.4.3 Особенности применения метода вычисления состояний конфигураций в системе DMS.

3.4.4 Особенности реализации системы DMS.

3.5. Выводы по главе.

ГЛАВА 4. Экспериментальная проверка и внедрение разработанных методов и инструментальных средств.

4.1. Экспериментальная проверка эвристического метода оценки степени завершенности конфигурации COEF.

4.2. Внедрение, опытная и промышленная эксплуатация системы на предприятии ООО «ДС «БАРС».

4.2.1 Методика внедрения и сопровождения системы.

4.2.2 Процесс внедрения.

4.2.3 Общая статистика работы системы DMS на предприятии

ООО «ДС «БАРС».

Введение диссертации (часть автореферата) на тему «Методы и программные средства управления конфигурациями проектов разработки встроенных систем»

Актуальность. В процессе разработки программных систем образуется множество взаимосвязанных между собой результатов проекта проекта - требований, исходных текстов, объектных файлов, описаний тестов и т.п. Согласованные совокупности таких объектов принято называть конфигурациями, а процесс поддержания их изменений и целостности в течение жизненного цикла проекта — управлением конфигурациями.

Процесс управления конфигурациями в различных отраслях регламентируется такими международными стандартами, как DO-178B [67], AS9100B [3], AS9006B [2], IS010007 [43], ISO/IEC TR 15846 [47], ISO/IEC 15408 [45], IEEE 1042 [40] и пр. Более того, его применение строго обязательно при разработке высококритичных систем, к надежности которых предъявляются повышенные требования, в частности - при разработке авиационных встроенных систем для гражданской авиации.

В ходе разработки высококритичных программных систем основная функция процесса управления конфигурациями заключается в предотвращении неконтролируемого развития проекта и обеспечения гарантии того, что все изменения, вносимые в проект, учитываются и санкционируются в соответствии с принятой технологией разработки. Управление конфигурациями обеспечивает поддержку эволюции и целостности продукта путем идентификации его элементов, управления изменениями, а также при помощи прослеживаемости, аудитов состояния и контроля статуса конфигурации.

В процессе эволюции проекта документы вступают в различные типы отношений, которые в общем случае представимы в виде ориентированного графа. Однако традиционная структура документации проекта представляет собой отношение частичного порядка и фактически задает структуру дерева объектов.

Задачи управления и вычисления состояний конфигураций призваны поддержать функции управления проектом, деятельность коллектива исполнителей и группы сопровождения. На базе механизма вычисления состояний решаются задачи оценки сроков проекта, выявления узких мест, вычисления экономических показателей проекта, прогноза выполнимости проекта, контроля соблюдения технологии.

Анализ наиболее развитых инструментальных систем управления конфигурациями показывает, что почти все они обеспечивают решение задач идентификации, управления изменениями, создания базовых версий.

Однако даже в самых развитых системах в полном объеме не реализована инструментальная поддержка процесса вычисления состояний — этот процесс до сих пор поддерживается при помощи организационных процедур и регламентов.

Увеличение размеров проектов разработки программных систем приводит к резкому возрастанию трудозатрат на оценку состояния проекта и отдельных его частей. В таких условиях необходимо обеспечивать не только организационную, но и инструментальную поддержку процесса вычисления состояний конфигураций. Работа посвящена разработке методов и программных средств, обеспечивающих возможность инструментальной поддержки процесса вычисления состояний конфигураций.

Целью работы является построение методов, моделей и программных средств управления конфигурациями, учитывающих взаимосвязи между объектами конфигураций в процессе вычисления и оценки их состояния. Использование результатов исследования должно обеспечить соответствие инструментальных средств поддержки разработки требованиям современных стандартов создания высококритичного программного обеспечения, а также сократить временные и ресурсные затраты на управление проектом при классической схеме разработки встроенных программных систем.

Для достижения этой цели в работе решены следующие задачи:

- исследованы современные модели и методы управления конфигурациями при разработке встроенных систем, стандарты, регламентирующие процесс управления конфигурациями, существующие системы управления конфигурациями с целью выявления основных характеристик объектов конфигураций, необходимых для вычисления состояний их конфигураций;

- предложено и построено исчисление для задания структуры конфигурации, основанное на натуральном выводе Генцена и соответствующая ему модель конфигураций;

- построена и исследована модель вычисления состояний ОК и конфигураций, основанная на натуральной семантике;

- предложен эвристический подход к оценке близости конфигурации к моменту изменения состояния и исследована его адекватность;

- разработана обобщенная архитектура объектов конфигураций в терминах реляционного и объектно-ориентированного подхода с использованием паттернов проектирования;

- разработана Web-ориентированная система, включающая в себя элементы управления конфигурациями: определение структуры объектов- конфигурации и вычисление состояний;

- разработанные методы и программные средства экспериментально проверены.

Методы исследования. При разработке математического аппарата в диссертационной работе используются методы теории графов, теории аксиоматических систем и формального вывода, математической логики. При разработке программного обеспечения

ПО) используются методы объектно-ориентированного, Web-ориентированного и клиент-серверного программирования, а также паттерны проектирования.

Научная новизна работы. Научная новизна работы заключается в следующем:

- выполнен анализ современного программно-информационного обеспечения для управления конфигурациями при разработке встроенных программных систем, отраслевых стандартов управления конфигурациями, выявлено сходство процессов управления конфигурациями при их применении для управления проектом и общего управления документооборотом, что позволило сформировать общую структуру разрабатываемого программного обеспечения;

- предложена модель определения структуры конфигурации и вычисления состояния объектов конфигураций (ОК), основанная на математическом аппарате формального вывода;

- доказаны следствия теорем об индуктивных определениях и bar-индукции, подтверждающие возможность задания конфигурации в виде формулы формальной теории и включения конфигураций, а также теорема о свертке структуры конфигурации.

- предложен эвристический метод оценки степени завершенности работ над конфигурацией, что дает возможность приближенной» оценки трудоемкости при планировании работ в проектах по разработке ПС.

Практическая ценность. Разработанные методы синтеза и анализа структуры, конфигураций используются для создания обобщенной архитектуры объектов конфигураций, а также при разработке методики внедрения и сопровождения системы управления конфигурациями на предприятии.

Внедрение и сопровождение программных средств на предприятия авиационной отрасли ООО «ДС «БАРС» в течение более чем 3 лет позволило отметить значительное повышение эффективности работы персонала по сравнению с предыдущими системами. Программная система соответствует требованиям стандартов качества ISO 9001:2000 и AS 9100В, что было подтверждено при сертификации предприятия на соответствие этим стандартам.

Методы вычисления состояний объектов конфигураций, предложенные в работе, использовались в ЗАО «АСТ» при выполнении работ по проектам Федеральной службы по экологическому, технологическому и атомному надзору.

Внедрение программной системы в учебный процесс кафедры №22 «Кибернетика» МИФИ для обеспечения проектного документооборота при выполнении студентами учебного коллективного курсового проекта по курсу «Технология программирования» позволило значительно повысить эффективность и оперативность обмена между студентами запросами на изменение и отчетами о проблемах. Также система позволила отслеживать состояние работ в студенческом проекте и служила общим репозиторием управляющих документов. По итогам внедрения отмечается значительное увеличение степени достоверности данных об индивидуальном вкладе каждого студента в коллективный учебный проект, что позволило более справедливо оценивать их работу. Кроме того повысилась оперативность получения преподавателем информации о состоянии выданных заданий и статуса проекта в целом.

Положительный опыт использования программной системы подтвержден соответствующими актами о внедрении.

На защиту выносятся:

- исчисление для задания структуры конфигураций, основанное на натуральном выводе Генцена и соответствующая ему модель конфигураций;

- метод вычисления состояний конфигураций, основанный на натуральном выводе Генцена и построенный в терминах операционной семантики;

- доказательства теорем о принадлежности конфигураций к классу индуктивно определяемых понятий и возможности» формульного задания структуры конфигурации, а также теоремы о свертке структуры конфигурации;

- эвристический подход для оценки степени близости конфигурации к моменту изменения состояния и оценки степени завершенности работ над конфигурацией;

- обобщенная архитектура объектов управления конфигурациями;

- программная реализация системы управления документами, включающая в себя средства вычисления состояний конфигураций документов, технология ее сопровождения и внедрения.

Апробация работы. Теоретические положения и практические результаты докладывались на следующих конференциях, семинарах и выставках:

- Научная сессия МИФИ 2003-2008 (г. Москва, 2003 - 2008 гг.) [105, 125, 127-129, 131, 132, 134,138, 147];

- XII-XVI Международные научно-технические семинары «Современные технологии в задачах управления, автоматизации и обработки информации» (г. Алушта, 2003 - 2007 гг.) [126,130, 133, 135, 137];

- InterSystems-Симпозиум 2004, 2005 (г. Москва, 2004 - 2005 гг.) (см. приложение 11);

- IV и V Открытая всероссийская конференция «Преподавание ИТ в России» (Москва, 2006 г., Тверь, 2007 г.) [148, 150];

- XV Всероссийская научно-практическая конференция «Проблемы информационной безопасности в системе высшей школы» (г. Москва, 2008 г.) [139].

Публикации. По теме диссертации и смежным темам опубликовано

- 2 печатные работы в реферируемых журналах, рекомендованных ВАК для публикации результатов кандидатских и докторских диссертаций [136, 149]

- 2 учебных пособия [145, 146]

- 18 тезисов докладов в сборниках научных трудов конференций [105, 125-139, 147, 148]

Структура и объем работы. Диссертация содержит 4 главы, введение и заключение, 53 рисунка, 16 таблиц, 11 приложений. Общий объем без приложений: 149 стр. (с приложениями 226 стр.). Список использованных источников содержит 152 наименования.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Налютин, Никита Юрьевич

Результаты работы показывают, что поставленные цели построения, анализа и программной реализации методов вычисления состояний конфигураций можно считать достигнутыми.

ЗАКЛЮЧЕНИЕ

В работе решена задача создания математического и программно-алгоритмического обеспечения процедур управления конфигурациями при разработке встроенных систем с точки зрения управления состояниями объектов конфигурации.

В результате работы над диссертацией получены следующие результаты:

1. Выполнено исследование особенностей инструментальной поддержки процесса управления конфигурациями при разработке встроенных систем. Поставлена задача вычисления состояний конфигураций.

2. Разработана формальнаяj алгебраическая система и построено исчисление генценовского типа для задания структуры конфигурации, доказаны теоремы о принадлежности конфигураций к классу индуктивно определяемых понятий, о возможности формульного задания структуры конфигурации, о свертке структуры конфигурации.

3. Разработан метод вычисления состояния конфигурации, основанный на определении натуральной семантики функций, построено расширение метода при помощи системы типов.

4. Разработана архитектура объектов конфигураций, пользовательский интерфейс и функциональная структура системы управления документами, основанной на принципах управления конфигурациями.

5. Реализована программная система управления документами, включающая в себя средства задания структуры конфигураций документов и вычисления состояний конфигураций.

6. Проведено полномасштабное внедрение разработанной программно-информационной системы на предприятии авиационной отрасли ООО «ДС «БАРС», проведено внедрение в учебный процесс МИФИ, результаты работы использованы в ЗАО «АСТ» при выполнении проектов Федеральной службы по экологическому, технологическому и атомному надзору.

Список литературы диссертационного исследования кандидат технических наук Налютин, Никита Юрьевич, 2008 год

1. Ambriola V. et al. The evolution of configuration management and version control // Software Engineering Journal Volume 5, 1.sue 6. - November 1990. - Pp. 303-310

2. AS9006B. Aerospace Software Supplement for AS9100B. G-14 Americas Aerospace Quality Group (AAQG), SAE. - 2004. - 24 p.

3. AS9100B. Quality Management Systems. Aerospace. Requirements. G-14 Americas Aerospace Quality Group (AAQG). - SAE. - 2004. - 39 p.

4. Asklund U. Configuration Management for Distributed Development in an Integrated Environment. Doctoral dissertation. Department of Computer Science, Lund Institute of Technology, Lund University. - 2002. - 218 p.

5. B. Westfechtel. A Graph-Based System for Managing Configurations of Engineering Design Documents. — International Journal of Software Engineering & Knowledge Engineering, vol. 6, no. 4. 1996. - Pp. 549-583.

6. Berczuk S.P., Appleton B. Software Configuration Management Patterns: Effective Teamwork, Practical Integration. Addison Wesley Professional. - 2002. - 256 p.

7. Bershoff E.H., Henderson V.D., Siegel S.G. Principles of Software Configuration Management. Prentice Hall, Englewood Cliffs, New Jersey. - 1979. - 385 p.

8. Borger E., Stark S. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer. - 2003. - 420 p.

9. Borland StarTeam. A Complete Software Change & Configuration Management (SCM) Tool. Электронный ресурс. Borland Inc., 2007. - Режим доступа: http://www.borland.com/us/products/starteam/. — Загл. с экрана.

10. Brown N. et al. Little Book of Configuration Management. AIRLIE Software'Council. -1998.-28 p.

11. Business Process Exectution Language for Web Services version 1.1. IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems. - 2003. - 136 p.

12. Business Process Modelling Notation (BPMN) Specification. Object Management Group. -2006.-308 p.

13. Cagan M., Weber D. Task-based configuration management. Continuus, 1996. - Режим доступа: http://www.continuus.com/developers/developersACEA.html. - Загл. с экрана.

14. Christensen Н.В. The Ragnarok Architectural Software Configuration Management Model. -Proc. of the 32nd Hawaii International Conference on System Sciences. 1999. - pp. 1-7.

15. CMMI for Development, Version 1.2. Technical Report CMU/SEI-2006-TR-008. Software Engineering Institute, Carnegie Mellon University. - 2006. - 573 p.

16. Conradi R., Westfechtel B. Version Models for Software Configuration Management // ACM Computing Surveys, vol. 30, no. 2. 1998. - Pp. 232-282.

17. CVS — Concurrent Versions System vl.11.22. Электронный ресурс. Ximbiot LLC, 2006. - Режим доступа: http://ximbiot.com/cvs/manual/cvs-l.ll.22/cvs.html. - Загл. с экрана.

18. Dart S. Adopting an Automated Configuration Management Solution. Proc. The Eight International Workshop on Computer-Aided Software Engineering. Toronto, Ontario. Invited speech.-1995.-15 p.

19. Dart S. Best Practice for a Configuration Management Solution. Proc. of the' 6th International Workshop on Software Configuration Management (SCM6), Berlin, Germany. -1996.-Pp. 239-255.

20. Dart S. Concepts in Configuration Management Systems. Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway. - 1991. - Pp. 1-18.

21. Dart S. Spectrum of functionality in configuration management systems. Technical Report CMU/SEI-90-TR-11. Software Engineering Institute, Carnegie Mellon University. - 1990. -43 p.

22. Dart S. The Past, Present and Future of Configuration Management, CMU/SEI-92-TR-8. -Software Engineering Institute, Carnegie Mellon University. 1992

23. Dunwoodie B. Serena's Acquisition of Merant Approved. Электронный ресурс. CMS Wire, 2004. - Режим доступа: http://www.cmswire.com/cms/ma/serenas-acquisition-of-merant-approved-000304.php. — Загл. с экрана.

24. Eaton D. Configuration Management Tools Summary. Электронный ресурс. Dave Eaton, 2007. - Режим доступа: http://www.daveeaton.com/scm/CMTools.html. — Загл. с экрана.

25. Embedded system. Электронный ресурс. — Wikipedia, 2007. — Режим доступа: http://en.wikipedia.org/wiki/Embeddedsystem. — Загл. с экрана.

26. Estublier J. et al. Impact of software engineering research on the practice of software configuration management // ACM Transactions on Software Engineering and Methodology. Vol. 14, No. 4, October 2005. - pp. 1-48.

27. Estublier J. et al. Impact of the research community on the field of software configuration management: summary of an impact project report // ACM SIGSOFT Software Engineering Notes. Volume 27, Issue 5. September 2002. - Pp. 31-39

28. Feiler P., Downey G. Transaction-Oriented Configuration Management. Technical Report CMU/SEI-90-7. Carnegie Mellon University, Pittsburgh, Pennsylvania. - 1990. - 60 p.

29. Feiler P.H. Configuration Management Models in Commercial Environments. Technical Report CMU/SEI-91-7. Carnegie Mellon University, Pittsburgh, Pennsylvania. - 1991. -54 p.

30. Flora-Holmquist A.R. et al. The virtual finite-state machine design and implementation paradigm // Bell Labs Technical Journal, Volume 2, Issue 1. 2002. - Pp. 96-113

31. Future of the embedded systems technology. Report G-229R. Global Information Inc. -2006.

32. Hall R.S., Heimbigner D., Wolf A.L. Specifying the Deployable Software Description Format in XML. SERL Technical Report CU-SERL-207-99. Software Engineering Research Laboratory, Department of Computer Science University of Colorado. - March 1999.

33. Hass A.M.J. Configuration Management Principles and Practice. — Addison Wesley Professional. 2002. - 432 p.

34. Heiman D. Worldwide Software Configuration Management Tools Competitive Analysis, 2003: 2002 Shares and Current Outlook. IDC Bulletin #29613. - June 2003.

35. Heimann P., Krapp C.-A., Westfechtel В., Joeris G. Graph-Based Software Process Management // International Journal of Software Enginering & Knowledge Engineering, vol. 7,no. 4.-1997.-Pp. 431-455.

36. Hromkovic J., Nagl M, Westfechtel B. Graph-Theoretic Concecpts in Computer Science. -Proc 30th International Workshop, Bad Honnef, Germany, LNCS 3353. Springer-Verlag. -2004.

37. IBM Rational Clear Case V7. Электронный ресурс. IBM Corp., 2007. - Режим доступа: http://www-306.ibm.com/software/awdtools/clearcase/. - Загл. с экрана.

38. IBM Rational Clear Quest. Электронный ресурс. IBM Corp., 2007. - Режим доступа: http://wvvw-306.ibm.com/software/awdtools/clearquest/. — Загл. с экрана.

39. IEEE 1042-1987. IEEE Guide to Software Configuration Management. Institute of Electrical and Electronics Engineers. - 1987. - 92 p.

40. IEEE 1074-1997. IEEE Standard for Developing Software Life Cycle Processes. Institute of Electrical and Electronics Engineers. - 1997. - 96 p.

41. IEEE 1074-2006. IEEE Standard for Developing a Software Project Life Cycle Process. -Institute of Electrical and Electronics Engineers. 2006. — 110 p.

42. ISO 10007. Quality management. Guidelines for configuration management. — International Organization for Standardization. 1995. - 14 p.

43. ISO 12207:1995, Information technology. Software life cycle processes. International Organization for Standardization. - 1995. - 64 p.

44. ISO/IEC 15408:2005. Common Criteria for Information Technology Security Evaluation. -International Organization for Standardization. 2005.

45. ISO/IEC 15909-1:2004. Software and system engineering. High-level Petri nets. Part 1: Concepts, definitions and graphical notation. — International Organization for Standardization. 2004. - 38 p.

46. ISO/IEC TR 15846. Information technology. Software life cycle processes. Configuration management. International Organization for Standardization. — 1998. - 24 p.

47. Kahn G. Natural Semantics. Proc. of the Symposium on Theoretical Aspects of Computer Science. Springer-Verlag. - 1987. - Pp. 22-39.

48. Kleene S.C., Vesley R.E. The foundations of intuitionistic mathematics: especially in relation to recursive functions. North-Holland. - 1965.

49. Louridas P. Version Control // IEEE Software. Jan/Feb 2006. - Pp. 104-107.

50. Michael Barr's Embedded Systems Glossary. Электронный ресурс. — Netrino, LLC, 2007.- Режим доступа: http://www.netrino.com/Publications/Glossary/index.php. Загл. с экрана.

51. Milner R. The polyadic Pi-calculus: a tutorial. Technical Report ECSLFCS 91-180, Computer Science Department, University of Edinburgh, UK. 1991.

52. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part I. LFCS Report 8985. University of Edinburgh. - 1989.

53. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part II. LFCS Report 8986. University of Edinburgh. - 1989.

54. Moreira M.E., Software Configuration Management Implementation Roadmap. Wiley. -2004. - 260 p.

55. Muravyev A. Programming Languages: Constructions and Semantics. Proc. of 7th International Workshop on Computer Science and Informational Technologies, CSIT'2005, Ufa.-Pp. 52-56.

56. Nguyen T.N. Configuration management for designs of software systems. Proc. of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, IEEE Computer Society. - 2005. - Pp. 236-243.

57. Nguyen T.N. Object-Oriented Software Configuration Management. Proc. of 22nd IEEE International Conference on Software Maintenance. IEEE Computer Society. - 2006. - Pp. 351-354.

58. Ohst D., Kelter U. A Fine-grained Version and Configuration Model in Analysis and Design.- Proc. of the International Conference on Software Maintenance-2002. IEEE Computer Society. -2002. Pp. 521-527.

59. Paulk M.C. Practices of High Maturity Organizations. Proc. 1999 SEPG Conference, Atlanta, Georgia, 8-11 March 1999. - 1999. - Pp. 1-25

60. Perforce Software The Fast Software Configuration Management System. Электронный ресурс. - Perforce, 2007. — Режим доступа: http://www.perforce.com. - Загл. с экрана.

61. Practice Standard for Work Breakdown Structures. Project Management Institute. - 2006. -111 p.

62. PRINCE2 Maturity Model. Version 1.0. Электронный ресурс. OGC, 2006. - Режим доступа: http://www.ogc.gov.uk/documents/PRINCE2MaturityModelVersionl .pdf. -Загл. с экрана.

63. Razor Product Overview. Электронный ресурс. — Visible Systems Inc., 2006. — Режим доступа:http://www.visible.com/Products/Brochures/Razor/Razor%20Product%200verview.pdf. — Загл. с экрана.

64. RTCA/DO-178B. Software considerations in airborne system and equipment certification. -RTCA Inc.- 1992.- 138 p.

65. Santos P. Software Configuration Management // Dr. Dobb's Journal. July 27, 2006.

66. Sciore E. Versioning and Configuration Management in an Object-Oriented Data Model // VLDB Journal №3/1994. pp. 77-106.

67. Serena Software Inc. Электронный ресурс. Serena Software, 2007. - Режим доступа: http://www.pvcs.com. — Загл. с экрана.

68. Software Configuration Management SCM - from AccuRev. Электронный ресурс. -AccuRev, 2008. - Режим доступа: http://www.accurev.com. - Загл. с экрана.

69. Taramaa J. Practical development of software configuration management for embedded systems. Technical Research Centre of Finland, Espoo. - 1998. - 149 p.

70. Tichy W. Tools for Software Configuration Management. The German Chapter of the AMC Vol. 30 International Workshop on Software Version and Configuration Control, Grassau, Germany. - Teubner Verlag, Stuttgart, Germany. - 1988. - Pp. 1-20.

71. Tideway Configuration Management Maturity Levels. Электронный ресурс. — Tideway Systems, 2006. Режим доступа: http://www.tideway.com/whatwedo/tidewaycmml. -Загл. с экрана.

72. US Government Protection Profile for Database Management Systems in Basic Robustness Environments. National Security Agency Information Assurance Directorate. — December 2003.-95 p.

73. Van der Hoek A., Carzaniga A., Heimbigner D., Wolf A.L. A Reusable, Distributed Repository for Configuration Management Policy Programming. Technical Report CU-CS-864-98. Department of Computer Science, University of Colorado. - 1998.

74. Version Control and Configuration Management Features Breakdown. Электронный ресурс. Reliable Software LLC, 2006. - Режим доступа: http://wvvw.relisoft.com/coop/vcsbreakdown.html. - Загл. с экрана.

75. Visual Source Safe 2005. Электронный ресурс. Microsoft Corp., 2006. - Режим доступа: http://msdn.microsoft.com/ssafe/. - Загл. с экрана.

76. Wagner F. Modeling Software with Finite State Machines: A Practical Approach. -Auerbach Publications. 2006. - 392 p.

77. Wagner F. VFSM Executable Specification. In proc. CompEuro '92 (Computer Systems and Software Engineering) Proceedings, The Hauge, Netherlands. — 1992. — Pp. 226-231.

78. Westfechtel B. Structure-Oriented Merging of Revisions of Software Documents. Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway. -1991.-Pp. 40-58.

79. Whitehead E.J. Jr. An Analysis of the Hypertext Versioning Domain. Dissertation. -University of California, Irvine. 2000. - 259 p.

80. Whitehead E.J. Jr. Design Spaces for Link and Structure Versioning. Proc. of the twelfth ACM conference on Hypertext and Hypermedia. - 2001. - Pp. 195-204.

81. Yu L., Ramaswamy S. A Configuration Management Model for Software Product Line // INFOCOMP: Journal of Computer Science. Vol. 5, No. 4, December 2006. - Pp. 1-8.

82. Zeller A., Snelting G. Unified Versioning through Feature Logic // ACM Transactions on Software Engineering and Methodology. Vol. 6(4), October 1997. - Pp. 398-441.

83. Zeng, F., Jin, Y. Study on product configuration based on product model // The International Journal of Advanced Manufacturing Technology. — Volume 33, Numbers 7-8, July 2007. — Pp. 766-771

84. Zhong L.H., Chen Y., Liu Y. et al. The XML data Model of Software Configuration Management and Research on its Prototype // Computer Engineering and Application. Vol 19/2001.

85. Zimmermann T. et al. Mining Version Histories to Guide Software Changes. // IEEE Transactions on Software Engineering. Vol. 31, No. 6, June 2005.

86. Zina S. et al. Generic modeling and configuration management in Product Lifecycle Management. Proc. of IMACS Multiconference on Computational Engineering in Systems Applications. Bejing, China. - 2006. - Pp. 1252-1258.

87. Автоматы. Сборник статей под редакцией К. Э. Шеннона и Дж. Маккарти. М.: Издательство иностранной литературы, 1956. - 403 с.

88. Аткинсон М. и др. Манифест систем объектно-ориентированных баз данных // СУБД. -№ 4, 1995

89. Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии и инструменты. -М.: Издательский дом «Вильяме», 2001. 768 с.

90. Бабкин Е. А. Бобрышев Е. А. Иерархическое событийно-автоматное моделирование // Информационные технологии моделирования и управления: №1 (35). Воронеж: Научная книга, 2007. - С. 39-48.

91. Бабкин Е. А. Бобрышев Е. А. О событийных моделях дискретных систем. -Современные проблемы информатики в моделировании и анализе сложных систем: Сб. трудов. Вып. 12. Воронеж: Научная книга, 2007. - С. 141-149.

92. Беккер Й. и др. Менеджмент процессов. М. Эксмо, 2007. - 348 с.

93. Бобрышев, Д. Н. Управление конфигурацией технических систем. М.: Сов.радио, 1978.-182 с.

94. Боэм Б., Браун Дж., Каспар X., Характеристики качества программного обеспечения. — М.: Мир, 1981.-208 с.

95. Волков И., Галахов И. Архитектура современной информационно-аналитической системы // Директор ИС. № 3,2002. - С. 32-36.

96. Горбунов-Посадов М.М. Конфигурации программ. М. : Малип, 1994. - 272 с.

97. ГОСТ 13377-75. Надежность в технике. Термины и определения. М.: Изд-во стандартов. —1975.

98. ГОСТ 27.002-89. Надёжность в технике. Основные понятия. Термины и определения. -М.: Издательство стандартов, 1990. 37 с.

99. ГОСТ Р 51904-2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию. — М.: Госстандарт России, 2002. — 94 с.

100. ГОСТ Р ИСО 9001-2001. Системы менеджмента качества. Требования. М.: ИПК Изд-во стандартов, 2001. - 140 с.

101. Гречкин Т.Ю., Налютин Н.Ю., Полян E.JI, Попов А.Е, Петухова Е.А. Система информационного обеспечения службы технической поддержки. В сб. Научная сессия МИФИ-2003. Т.13. -М.: МИФИ, 2003. С. 23-24.

102. Гросс М., Лантен А. Теория формальных грамматик. М.: МИР, 1971. - 294 с.

103. Гросс М., Лантен А. Теория формальных грамматик. М.: МИР, 1971. - 295 с.

104. Дубина О. Обзор паттернов проектирования. Электронный ресурс. CitForum, 2005. - Режим доступа: http://www.citforum.ru/SE/project/pattern/. — Загл. с экрана.

105. Елепов Б. С., Чистяков В. М. Управление процессами использования информационных ресурсов. Новосибирск : Наука, 1989. - 235 с.

106. Зашихин А.С. Объектно-ориентированная СУБД Jasmine. Jasmine Studio. М.: Бином, 2004. - 320 с.

107. Кериевски Дж. Рефакторинг с использованием шаблонов (паттернов проектирования). М.: «Вильяме», 2006. — 400 с.

108. Кирстен В. и др. СУБД Cache: Объектно-ориентированная разработка приложений. СПб.: Питер, 2001. - 384 с.

109. Колчин А.Ф. и др. Управление жизненным циклом продукции. М.: Анахарсис, 2002.-304 с.

110. Кречетов Н.Е., Петухова Е.А., Скворцов В.И., Умников А.В., Щукин Б.А. Постреляционная технология Cache для реализации объектных приложений. — М.: МИФИ, 2001.-152 с.

111. Круковский М.Ю. Концепция построения моделей композитного документооборота // Математичш машини i системи. 2/2004. - С. 149-163.

112. КТ-178А. Квалификационные требования часть 178А. Жуковский.:АОЗТ "ИСПАС". -1997.

113. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М. Энергоатомиздат. 1988. - 480 с.

114. Ларман К. Применение UML 2.0 и шаблонов проектирования. -М.: «Вильяме», 2006.-736 с.

115. Липаев В. В. Сопровождение и конфигурационное управление версиями сложных программных средств. — М.:Изд-во университета «Станкин», 2000. 86 с.

116. Липаев В. В. Сопровождение и управление конфигурацией сложных программных средств. М.: СИНТЕГ, 2006. - 354 с.

117. Липаев В.В. Документирование и управление конфигурацией программных средств. Методы и стандарты. М.: Синтег, 1998. - 220 с.

118. Максимов А. В. Иерархическое конфигурационное управление ,в системе автоматизации разработки крупных программных комплексов: автореферат диссертации на соискание ученой степени канд. физ.-мат.наук: 05.13.11. М., 1993. — 12 с.

119. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. -416 с.

120. Налютин Н.Ю., Петухова Е.А. Использование XML в проектах СУБД Cache. В сб. Научная сессия МИФИ-2003. Сборник научных трудов. Т.2. М.: МИФИ. - 2003. - С. 39-40.

121. Налютин Н.Ю., Петухова Е.А. Приемы защитного программирования на языке Cache Object Script. В сб. Научная сессия МИФИ-2004. Сборник научных трудов. В 15 томах. Т.2. М.: МИФИ, 2004. - С. 101-102.

122. Налютин НЛО., Синицын С.В. Вычисление состояний конфигураций объектов разработки программных систем. В сб. Научная сессия МИФИ-2008. Сборник научных трудов. Т.11.-М.: МИФИ, 2008.-С. 106-107.

123. Налютин Н.Ю., Синицын С.В. Идентификация и классификация объектов при управлении их конфигурациями. В сб. Научная сессия МИФИ-2006. Сборник научных трудов. Т.21 М:: МИФИ, 2006; - С. 96-97.

124. Налютин Н.Ю., Синицын С.В; Математическая модель конфигурационного управления разработкой программных систем. В сб. Научная сессия МИФИ-2005. Сборник научных трудов. Т.2. М.: МИФИ, 2005. - С. 62-63.

125. Налютин Н.Ю., Синицын С.В. Метод описания и алгоритмы обработки структуры конфигураций объектов разработки программных систем. В сб. Научная сессия1: МИФИ-2007. Сборник научных трудов. Т.2, М:: МИФИ; 2007. С. 55-57.

126. Налютин НЛО., Синицын С.В; Средства управления документооборотом на IT-предприятии. В сб. Научная сессия; МИФИ-2004. Сборник научных трудов. Т.2. М.: МИФИ; 2004.-С. 89-90.

127. Непейвода Н.Н. Прикладная логика. — Новосибирск: Изд-во Новосибирского университета, 2000. 521 с.

128. Нестеров П. В. Информационные аспекты стандартизации и управления качеством продукции. — М.: Стандарты, 1990. 152 с.

129. Орлов С.А. Технологии разработки программного обеспечения; Учебное пособие. — СПб.: Питер, 2003. 480 с.

130. Правиц Д. Натуральный вывод. М.: Лори-пресс. — 1997, 107 с.

131. Садовников В.И., Эпштейн В.Л. Потоки информации в системах управления. М.: Энергия, 1974.-240 с.

132. Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения: Учебное пособие. — М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2008. 368 с.

133. Синицын С.В., Налютин Н.Ю. Операционные системы. Учебное пособие. М.: МИФИ, 2006.-214 с.

134. Синицын С.В., Налютин Н.Ю. Управление конфигурациями проектной документации. В сб. Научная сессия МИФИ-2003. Сборник научных трудов. Т.2. — М.: МИФИ, 2003.-С. 72-73.

135. Синицын С.В., Налютин Н.Ю., Петухова Е.А., Садчиков С.М. Вопросы автоматизации контроля знаний при подготовке современных ИТ специалистов // Открытое образование № 4/2006. С. 70-77.

136. Синицын С.В., Петухова Е.А., Садчиков С.М., Налютин Н.Ю. Индивидуальная подготовка ИТ-специалистов. В сб. 5-я открытая конференция "Преподавание информационных технологий в России". Сборник докладов. Тверь, 2007. - С. 145151.

137. Состояние (шаблон проектирования). Электронный ресурс. Wikipedia, 2007. -Режим доступа: http://ru.wikipedia.org/wiki/CocTOflHHe (шаблон проектирования). -Загл. с экрана.

138. Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: КомКнига, 2006. - 552 с.