Всё для Учёбы — студенческий файлообменник
1 монета
doc

Студенческий документ № 020603 из ГЭИ

Институт информационных технологий

Программное обеспечение вычислительной техники и информационных систем

УТВЕРЖДЕНО

Ученым советом ИИТ

подпись Зуев А.Н. " " 2011 г.

ПРОГРАММА

ГОСУДАРСТВЕННОГО ЭКЗАМЕНА

Государственный экзамен (название государственного экзамена в соответствии с учебным планом) по специальности

230105.65 Программное обеспечение вычислительной техники и автоматизированных систем (код и наименование)

2012 ГОД

Программа разработана в соответствии с государственным образовательным стандартом высшего профессионального образования по направлению подготовки (специальности)

230105.65 Программное обеспечение вычислительной техники и автоматизированных систем (код и наименование)

Программа обсуждена на заседании кафедры

Программное обеспечение вычислительной техники и информационных систем (полное наименование кафедры) протокол № 1б от " 10 " октября 2011 г.

Составитель Ершов Евгений Валентинович (фамилия, имя, отчество) Д.т.н., профессор, зав. кафедрой ученая степень, ученое звание, должность

Заведующий кафедрой,

Д.т.н., профессор

Ершов Е.В. (подпись) (расшифровка подписи)

Программа рассмотрена на заседании Ученого совета

Института информационных технологий (полное наименование института (факультета)) протокол № от " " 2011 г.

Директор института Зуев А.Н. (подпись) (расшифровка подписи)

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

1. Основные задачи государственного экзамена

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

2. Содержание государственного экзамена

Комплекс общепрофессиональных, специальных дисциплин и дисциплин специализации:

- Компьютерная графика,

- Программирование на языке высокого уровня,

- Организация ЭВМ и систем,

- Операционные системы,

- Базы данных,

- Сети ЭВМ и телекоммуникации,

- Методы и средства защиты компьютерной информации,

- Системное программирование,

- Структуры и алгоритмы обработки данных,

- Функциональное и логическое программирование,

- Объектно-ориентированное программирование,

- Теория вычислительных процессов,

- Теория языков программирования и методы трансляции,

- Архитектура вычислительных систем,

- Технология разработки программного обеспечения,

- Человеко-машинное взаимодействие,

- Системы искусственного интеллекта,

- Проектирование информационных систем,

- Сетевая операционная система WINDOWS NT,

- Сетевая операционная система UNIX,

- Сетевая операционная система NETWARE,

- Программное обеспечение распределенных систем и сетей,

- Разработка корпоративного WEB-узла,

- Комплексные программные платформы.

3. Структура экзаменационного билета

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

4. Требования к ответу на вопросы экзаменационного билета

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

5. Критерии оценки ответа

Результат ответа студента оценивается по 5-ти балльной системе.

Оценка 5 (отлично) ставится, если студент полно и точно ответил на все вопросы.

Оценка 4 (хорошо) ставится, если студент полностью ответил на все вопросы, однако имелись некоторые неточности.

Оценка 3 (удовлетворительно) ставится, если студент не полностью ответил на все вопросы и имел некоторые неточности.

Оценка 2 (неудовлетворительно) ставится, если студент не ответил на один или более вопросов и не дал ответов на дополнительные вопросы.

ПРОГРАММА?

I. ОБЩЕПРОФЕССИОНАЛЬНЫЕ ДИСЦИПЛИНЫ

Раздел 1. Программирование на языке высокого уровня

1. Цели и принципы структурного и объектно-ориентированного программирования. Модульное программирование. Восходящий и нисходящий подход. Основные этапы разработки программ. Классификация языков программирования, сравнительная характеристика. Алфавит, синтаксис, семантика языков программирования.

2. Система типов данных языка высокого уровня: скалярные стандартные и пользовательские типы данных, тождественность и совместимость типов данных, строки, массивы, множества, записи (структуры, объединения), файлы, последовательный и прямой доступ к компонентам файлов.

3. Динамический тип данных, линейные динамические структуры данных: стек, очередь, списки; нелинейные динамические структуры данных: мультисписки, деревья.

4. Процедуры и функции: описание, вызов, передача параметров, программирование рекурсивных алгоритмов.

5. Основы доказательства правильности программ: метод математической индукции, принципы простой и модифицированной индукции, доказательство правильности схем программ, метод индуктивных утверждений.

Раздел 2. Компьютерная графика

6. Отображение графической информации: интерактивная компьютерная графика, деловая, иллюстративная графика, обработка образов в машинном зрении, основы теории цвета, цветовые системы RGB, CMYK, VHS, методы формирования цвета, основные виды графики (растровая, векторная, фрактальная), основные стандарты компьютерной графики.

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

8. Алгоритмы растровой графики: основные растровые алгоритмы, отрисовка точки через BIOS, прямая запись в видеопамять посредством API операционной системы, отрисовка отрезка алгоритмом Брезенхема, построение растровой развертки окружности и эллипса, алгоритмы заливки замкнутых фигур с границей заданного цвета, понятие связности, заливка многоугольников, аффинные преобразования, однородные координаты, повороты, сдвиги, переносы в матричном виде, проецирование трехмерных объектов, виды проекций, использование матричного вида при проецировании, особенности проецирования гладких поверхностей.

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

10. Элементы виртуальной реальности: физические и психологические факторы, учитываемые при создании реалистичных изображений, простая модель освещения, методы закрашивания Гуро, Фонга, расчет освещенности сцен, текстурирование поверхностей, общий метод и частные случаи, пирамидальное фильтрование, прикладное использование трехмерной машинной графики и реалистических изображений.

Раздел 3. Организация ЭВМ и систем

11. Архитектура ЭВМ, периферийные устройства, организация ввода-вывода информации.

12. Системы ЭВМ: вычислительные системы и сети, сопроцессоры, мультипроцессорные вычислительные системы, матричные и конвейерные вычислительные системы, связные устройства, модемы, протоколы обмена.

13. Организация памяти ЭВМ: Иерархия ЗУ. Понятие основной памяти. Блочная организация основной памяти. Расслоение памяти. ОЗУ (принцип действия, область применения, классификация). ПЗУ (принцип действия, область применения, классификация). Стековая память. Ассоциативная память. Кэш-память. Способы отображения основной памяти на кэш-память. Внешняя память (область применения, основные характеристики, принцип действия, основные виды ВЗУ).

Раздел 4. Операционные системы

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

15. Структура ядра ОС: монолитное ядро, микроядро; планирование и диспетчеризация: планирование с переключением и без переключения, выбор величины кванта, алгоритмы планирования (FIFO, RR, SJF, SRT, HNR), многоуровневое планирование.

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

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

18. Иерархия памяти: уровни иерархии, вертикальное и горизонтальное управление, распределение основной памяти, особенности основной памяти как ресурса ВС, алгоритмы распределения памяти, защита памяти.

19. Виртуальная память: страничная, сегментная, сегментно-страничная организация памяти, коллективное использование и защита информации; файлы, отображаемые в память.

20. Файловая система ОС: состав, управление, типы файловых систем; логическая и физическая организация файла, методы доступа, операции над файлами, отображаемые файлы.

Раздел 5. Базы данных

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

22. Управление транзакциями, сериализация транзакций (синхронизационные захваты, метод временных меток), изолированность пользователей.

23. Журнализация изменений БД: журнализация и буферизация, индивидуальный откат транзакции, восстановление после мягкого сбоя, физическая согласованность базы данных, восстановление после жесткого сбоя.

24. Язык SQL: функции и основные возможности, SEQUEL/SQL СУБД System R, типы данных, средства определения схемы, структура запросов, табличное выражение, агрегатные функции и результаты запросов, язык модулей, встроенный SQL, набор операторов манипулирования данными, динамический SQL в Oracle V.6.

25. Архитектура "клиент-сервер": открытые системы, клиенты и серверы локальных сетей, системная архитектура "клиент-сервер", серверы баз данных.

26. Распределенные БД: разновидности распределенных систем, распределенная СУБД System R, интегрированные или федеративные системы и мультибазы данных.

27. Объектно-ориентированные СУБД: связь объектно-ориентированных СУБД с общими понятиями объектно-ориентированного подхода, объектно-ориентированные модели данных, языки программирования объектно-ориентированных баз данных, языки запросов объектно-ориентированных баз данных, примеры объектно-ориентированных СУБД.

Раздел 6. Сети ЭВМ и телекоммуникации

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

29. Локальные сети: протоколы и стандарты локальных сетей, протокол LLC уровня управления логическим каналом (802.2), технология Ethernet (802.3), технология Token Ring (802.5), технология FDDI, Fast Ethernet и lOOVG-AnyLAN как развитие технологии Ethernet, высокоскоростная технология Gigabit Ethernet.

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

31. Построение больших сетей: принципы объединения сетей на основе протоколов сетевого уровня, адресация в IP-сетях, протокол IP, протоколы маршрутизации в IP-сетях, средства построения составных сетей стека Novell, основные характеристики маршрутизаторов и концентраторов.

32. Глобальные сети: основные понятия и определения, глобальные связи на основе выделенных линий, глобальные связи на основе сетей с коммутацией каналов, компьютерные глобальные сети с коммутацией пакетов, удаленный доступ.

33. Средства анализа и управления сетями: функции и архитектура систем управления сетями, стандарты систем управления, мониторинг и анализ локальных сетей.

Раздел 7. Методы и средства защиты компьютерной информации

34. Криптографические методы защиты информации: типовые модели криптографической защиты информации, симметричное шифрование, криптографически стойкие контрольные суммы и генераторы псевдослучайных чисел (ГПСЧ), асимметричное шифрование и электронная цифровая подпись (ЭЦП).

35. Безопасность компьютерных сетей: протоколы сетевой безопасности, программно-аппаратные комплексы защиты сетей.

36. Безопасность современных ОС и программных комплексов, вредоносные программы, системы обнаружения вторжений, комплексный подход к проектированию и анализу защищенных ИС.

Раздел 8. Системное программирование

37. Взаимодействие операционной системы и BIOS с периферийными устройствами: уровни взаимодействия с периферийными устройствами, работа на уровне портов ввода-вывода, работа на уровне BIOS, работа на уровне ОС; функционирование резидентных программ.

38. Организация ячеек памяти, регистры, форматы команд.

39. Ассемблер: основные понятия, директивы, команды. Условный и безусловный переходы. Циклы. Массивы. Процедуры. Упакованные данные. Структуры.

40. Защищенный режим процессора Intel 80386: страничная адресация, переключение контекста, использование возможностей защищенного режима различными ОС.

II. СПЕЦИАЛЬНЫЕ ДИСЦИПЛИНЫ

Раздел 9. Структуры и алгоритмы обработки данных

41. Абстрактный тип данных. Линейные и нелинейные структуры данных. Стек, очередь, списки, деревья, графы.

42. Графы: ориентированные и неориентированные графы, представление графов в ЭВМ, алгоритмы поиска минимального остовного дерева; компоненты связности; сильная связность; алгоритмы поиска кратчайших путей в графе.

43. Алгоритмы сортировки: методы внутренней и внешней сортировки, анализ сложности и эффективности алгоритмов сортировки.

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

Раздел 10. Функциональное и логическое программирование

45. Принципы функционального программирования: программирование при помощи функций, функциональность, основные свойства функциональных языков, язык программирования Лисп, рекурсия.

46. Функционалы: функциональное значение функции, способы композиции функций, функции более высокого порядка.

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

48. Согласование целевых утверждений: диаграмма успешного доказательства целевых утверждений, доказательство целевых утверждений при использовании механизма возврата, правила установления соответствия, недетерминизм, понятие "связанной" переменной, операционная модель вычисления ПРОЛОГ-программ, ПРОЛОГ и математическая логика.

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

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

Раздел 11. Объектно-ориентированное программирование

51. Основные идеи и сущность ООП: использование объекта в качестве основной компоненты программы и децентрализация управления, реализуемая представлением программы совокупностью взаимодействующих объектов, моделирование поведения объектов реального мира, наглядное представление объектов, создание и использование АТД, производные АТД.

52. Основные концепции ООП: инкапсуляция и расширяемость типов, семантика объекта - данные как отражение состояния объекта и методы как средства обеспечения взаимодействия объектов; представление данных, классификация методов - конструкторы, деструкторы, селекторы, модификаторы; классы и абстрактные типы данных, наглядное представление классов, объекты как экземпляры классов, основные действия с объектами - создание, инициализация, обработка, разрушение.

53. Классы: компонентные данные, компонентные функции, способы задания доступа, синтаксическая структура определения класса, объявление, определение и инициализация объектов, объекты объявленные как константы, область видимости класса, указатель this, компонентные функции типа static и const (статические и постоянные компонентные функции), тестирование класса.

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

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

56. Параметрический полиморфизм: шаблонные классы и шаблонные функции - назначение, параметризованные типы данных, синтаксис и семантика.

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

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

59. Обработка исключений: запуск исключений, перезапуск исключений, выражения исключений, спецификация исключения, пробные блоки try, обработчики исключений catch, иерархии классов для управления исключительными ситуациями, обработка исключений как механизм восстановления после сбоев и как механизм передачи управления, модель завершения, используемая в С++.

Раздел 12. Теория вычислительных процессов

60. Элементы теории асинхронных процессов: концепция процесса, основные определения, глобальные свойства - параллельность, синхронность, недетерминизм; физическое и событийное время, понятие алгебры над процессами; модели вычислительных процессов - автоматная модель, способы задания и построения.

61. Основы специальной теории сетей: синтаксис и семантика сетей Петри, модельная и предметная интерпретация, определение, способы задания сетей Петри, понятие выполнения сети, основные соглашения выполнения сети, пространство состояний, множество и граф достижимости, динамические свойства сетей, анализ сетей; сетевая объектная модель процессов, ее особенности и отличие от автоматной модели.

62. Элементы теории вычислимости: вычислимость и разрешимость, интуитивное и точное понятие алгоритма, вычислимые функции, машина Тьюринга, массовые алгоритмические проблемы.

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

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

Раздел 13. Теория языков программирования и методы трансляции

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

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

67. Синтаксический анализ: роль синтаксического анализатора, контекстно-свободные грамматики (КС-грамматики) как основной инструмент формального изучения синтаксиса языков программирования: определение КС-грамматики, дерево вывода в КС-грамматике, однозначность КС-грамматик и языков, связь между КС-языками и МП-автоматами, автоматы с магазинной памятью, описание, функционирование, способы задания МП-автомата, недетерминированные и детерминированные МП-автоматы.

68. Общие алгоритмы синтаксического анализа: методы восходящего синтаксического анализа, табличные методы синтаксического анализа, формальное определение алгоритма разбора типа "перенос-свертка", грамматики простого и операторного предшествования, понятие отношений ", • = " между символами грамматики, особенности построения таблиц разбора, сравнительный анализ класса грамматик предшествования с другими классами грамматик.

69. Общие алгоритмы синтаксического анализа: нисходящие методы синтаксического анализа, метод рекурсивного спуска, предиктивный синтаксический анализатор, определение LL(k)-грамматики, алгоритм разбора для LL(1)-грамматик, алгоритм построения управляющей таблицы для LL(1)-грамматики, сравнительный анализ нисходящих методов синтаксического анализа.

70. Общие алгоритмы синтаксического анализа: методы восходящего синтаксического анализа, табличные методы синтаксического анализа, формальное определение алгоритма разбора типа "перенос-свертка", определение LR(k)-грамматики, алгоритм разбора для LR(k)-грамматик, алгоритм построения управляющей таблицы, преимущества класса LR(k)-грамматик перед другими методами синтаксического анализа.

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

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

Раздел 14. Архитектура вычислительных систем

73. Иерархия уровней обработки информации в ВС: концептуальный уровень, уровень высокоуровневых языков, уровень машинных команд, уровень регистровых передач, уровень комбинационных схем, семантический разрыв между уровнями и способы его устранения.

74. Высокопроизводительные вычислительные системы: определение понятия высокопроизводительной вычислительной системы (ВВС), основные цели создания ВВС, факторы, определяющие высокую стоимость ВВС, основные методы достижения высокого быстродействия.

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

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

77. Принципы организации памяти ВС: иерархическая организация памяти ВС, виртуальная память, защита памяти, назначение и принцип работы кэш памяти, кэш уровни L1 и L2, ассоциативный кэш, множественно ассоциативный кэш, кэш с прямым отображением, стратегии записи, буфер записи, стратегии замены строк, синхронизация КЭШей в мультипроцессорных системах.

78. Топологические структуры ВС и системы коммутации: древовидные сети, шины, конвейеры, процессоры быстрого преобразования Фурье типа "бабочка", сети перекрестного обмена, гиперкубы, решетки, кольца, цилиндры, тороиды, пирамидальные сети, основные требования к системам коммутации. Шины расширения. ISA, EISA, PnP, PCI., SCSI., USB, FireWire.

79. Основные функциональные компоненты архитектуры ВВС: процессоры с сокращенным набором команд (RISC), концепция RISC и CISC процессоров, типовая система команд RISC процессора, регистровые окна, микропроцессоры, транспьютеры. систолические и волновые матрицы, память - расширение локальной памяти, расслоение обращений к памяти, процессоры цифровой обработки сигналов.

Раздел 15. Технология разработки программного обеспечения

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

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

82. Оценка качества процессов создания программного обеспечения: международные стандарты серии ISO 9000, CMM, SPICE; качество программного обеспечения, управление качеством, общие характеристики качества программного обеспечения: функциональность, надежность, удобство использования, эффективность, сопровождаемость, мобильность; критерии качества, ранжированные по фазам жизненного цикла, метрики характеристик программного обеспечения.

83. Понятийный аппарат метрической теории программ - принципы количественного анализа качества объектов с расплывчатыми свойствами: модели и метрики оценки сложности Боэма, Холстэда, Мак-Кейба (основанные на потоковых графах), модель и метрики, основанные на информационных потоках; методы оценки качества программного обеспечения: анкетирование, рабочие списки, контрольные задачи, метрики; государственные стандарты в области оценки качества программного обеспечения.

84. Модули, сцепление и связность - критерии независимости модулей, библиотеки ресурсов; нисходящий и восходящий подход к разработке программного обеспечения, средства описания структурных алгоритмов: базовые и дополнительные алгоритмические структуры, псевдокоды, Flow-формы, диаграммы Насси-Шнейдермана; программирование с защитой от ошибок: проверка выполнения операций, контроль промежуточных результатов, снижение погрешностей результатов, обработка исключений; сквозной структурный контроль.

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

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

87. Метод функционального моделирования SADT, функциональная модель SADT, стандарт IDEFO, построение моделей IDEFO, дерево модели, презентационные диаграммы (FEO-диаграммы); метод описания процессов IDEF3, построение моделей IDEF3; метод структурного анализа потоков данных, построение диаграмм потоков данных DFD.

88. Структуры данных: несвязанные, с неявными связями, с явными связями; иерархические модели Джексона-Орра; моделирование данных - диаграммы "сущность-связь" (ERD); метод Баркера; метод IDEF1.

89. Структурная и функциональная схемы: структурные схемы пакетов программ, программного комплекса, программной системы; функциональная схема-схема данных, основные обозначения по ГОСТ 19.701-90; проектирование структуры программного обеспечения с использованием метода пошаговой детализации: основное правило и рекомендации по применению; структурные карты Константайна: назначение, типы вызовов модулей - последовательный, параллельный, вызов сопрограммы; особые условия вызова - циклический, условный, однократный; диаграммы реализации параллельного вызова и вызова сопрограммы; типы связи - по данным, по управлению.

90. Проектирование структур данных: представление данных в оперативной памяти - векторная структура, списковые структуры; представление данных во внешней памяти - способы организации данных с последовательным и прямым доступом; проектирование программного обеспечения с использованием методов декомпозиции данных: метод Джексона, метод Варнье-Орра.

91. Спецификация программного обеспечения при использовании UML: модель использования, логическая модель, модель реализации, модель процессов, модель развертывания; варианты использования: основные, вспомогательные, дополнительные, краткая и подробная формы описания; диаграммы вариантов использования - прецедентов (uses case diagrams): действующее лицо, вариант использования, связь; связи использования и расширения.

92. Уровни моделирования предметной области: концептуальный, спецификации, реализации; контекстные диаграммы классов (class diagrams); диаграмма последовательностей системы (seguence diagrams), системные события и операции, описание системной операции; диаграммы деятельностей (activity diagrams) этапа анализа требований и уточнения спецификаций.

93. Проектирование структуры программного обеспечения при объектном подходе: стереотипы классов - классы сущности, классы интерфейсы, управляющие классы, исключения, пакеты классов; диаграмма пакетов (package diagrams).

94. Определение отношений между объектами: диаграмма последовательностей действий - обозначение объектов и сообщений, синхронные и асинхронные сообщения, линии жизни объектов, активации объекта, уничтожение объекта, разрыв линии жизни; диаграмма кооперации (collaboration diagrams) - обозначение объектов и потоков данных, варианты реализации сценария.

95. Определение отношений между классами: ассоциация, обобщение, агрегация, композиция, направление ассоциации, абстрактные классы и методы, параметризованные классы, связывание классов, обозначение связывания; классы интерфейсы.

96. Проектирование классов: структура объектов - атрибуты и операции класса, полное описание атрибута, полное описание операции, ответственность класса; диаграмма состояний объекта (statechart diagrams); диаграмма деятельностей методов класса; диаграмма компонентов (component diagrams); диаграмма размещения (deployment diagrams).

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

98. Структурное тестирование (тестирование маршрутов) - критерии формирования тестовых наборов: покрытие операторов, покрытие решений (переходов), покрытие условий, покрытие решений/условий, комбинаторное покрытие условий.

99. Функциональное тестирование (тестирование с управлением по данным) - критерии формирования тестовых наборов: эквивалентное разбиение, анализ граничных значений, анализ причинно-следственных связей, предположение об ошибке.

100. Тестирование модулей: восходящее, нисходящее, комбинированное, модули-заглушки, тестирование специалистами-тестерами, документирование тестирования, регрессионное тестирование, комплексное тестирование, критерии завершения тестирования, оценочное - системное тестирование.

101. Отладка ПО: классификация ошибок, методы отладки ПО - ручного тестирования, индукции, дедукции, обратного прослеживания; методы и средства получения дополнительной информации об ошибке - отладочный вывод, интегрированные средства отладки, независимые отладчики; общая методика отладки ПО - изучение проявления ошибки, локализация ошибки, определение причины ошибки, исправление ошибки, повторное тестирование.

102. Цель испытаний, виды испытаний в жизненном цикле ПО - опытного образца, рабочей версии, модернизированной версии; категории испытаний - функциональные, стрессовые, использования ресурсов ЭВМ, параллельного решения задач; испытания программ на надежность - прямые экспериментальные методы определения показателей надежности программ в условиях нормального функционирования, форсированные методы испытаний реальных систем на надежность; достоверность испытаний - методическая и статистическая достоверность; документирование результатов испытаний - исходные и отчетные документы при испытаниях программ: техническое задание, государственные и отраслевые стандарты, программа испытаний, методики испытаний, протоколы испытаний, акт испытаний.

103. Планирование и организация разработки программных систем: принципы планирования разработки, принципы организации коллектива программистов и распределения работ по специалистам; методы бригадной организации работ; внедрение и эксплуатация ПО, процесс сопровождения: модификация, усовершенствование и коррекция ПО; планирование и организация сопровождения, методы конфигурационного управления; тиражирование и использование версий программ, сертификация ПО.

104. Сборочное программирование, основы компонентной объектной модели (COM): организация интерфейса COM, базовый интерфейс COM-IUnknown, серверы COM-объектов, создание и повторное использование COM-объектов, маршалинг и демаршалинг.

Раздел 16. Человеко-машинное взаимодействие

105. Типы пользовательских интерфейсов и этапы их разработки, психофизические особенности человека, связанные с восприятием, запоминанием и обработкой информации.

106. Пользовательская и программная модели интерфейса, процесс проектирования пользовательского интерфейса, критерии оценки интерфейса пользователем; классификация диалогов и общие принципы их разработки.

107. Основные компоненты графических пользовательских интерфейсов: рабочая область, фон, узор, фоновый рисунок, заставка, окна, пиктограммы; прямое манипулирование изображением, компоненты ввода-вывода.

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

III. ДИСЦИПЛИНЫ СПЕЦИАЛИЗАЦИИ

Раздел 17. Системы искусственного интеллекта

109. Архитектура и основные составные части систем ИИ: различные подходы к построению систем ИИ (логический, структурный, эволюционный, имитационный) и методы представления знаний; вспомогательные системы (распознавания образов, идентификации, моделирования, жесткого программирования) и их место в системах ИИ.

110. Системы распознавания образов (идентификации): обучение распознаванию образов, геометрический и структурный подходы, гипотеза компактности, адаптация и обучение.

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

112. Представление знаний, рассуждений и задач; эпистомологическая полнота представления знаний и эвристически эффективные стратегии поиска решения задач; модели представления знаний: алгоритмические, логические, сетевые и продукционные модели; сценарии.

113. Эволюционные методы поиска решений: метод группового учета аргументов, генетический алгоритм.

114. Экспертные системы: классификация и структура; инструментальные средства проектирования, разработки и отладки; этапы разработки; примеры реализации.

Раздел 18. Проектирование информационных систем

115. Архитектуры реализации корпоративных информационных систем на платформах Sun, Microsoft, Linux.

116. Обработка ORACLE различных типов команд SQL и предложений PL/SQL, поддержание целостности данных, использование процедур и пакетов, использование триггеров базы данных, управление зависимостями между объектами схемы.

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

Раздел 19. Сетевые операционные системы

118. Основные концепции ОС семейства Windows NT: особенности установки, конфигурирования, администрирования, оптимизации производительности.

119. Администрирование удаленного доступа к сетям Windows, взаимодействие с сетями TCP/IP, взаимодействие с сетями NetWare, средства просмотра сетевых ресурсов.

120. Основные концепции ОС UNIX/Linux, средства графического интерфейса пользователей, основные механизмы и компоненты ядра, программирование в среде UNIX /Linux.

121. Основные концепции ОС NetWare, проектирование Novell Directory Services, поддержка ОС NetWare.

122. Администрирование ОС NetWare, дополнительные средства ОС NetWare: средства защиты NDS для NT, встроенные утилиты администрирования сети.

Раздел 20. Комплексные программные платформы

123. Системы планирования ресурсов предприятия (ERP). Основные понятия, принципы, подсистемы.

124. Методология внедрения ERP-систем.

Раздел 21. Программное обеспечение распределенных систем и сетей

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

126. Средства и методологии проектирования, разработки и сопровождения клиент-серверных приложений: базовые средства построения ИС в архитектуре "клиент-сервер", серверы баз данных, язык SQL - базовый интерфейс SQL-сервера, классический подход к проектированию реляционных баз данных, CASE-системы для проектирования ИС.

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

Раздел 22. Разработка корпоративного WEB-узла

128. Базовые стандарты и протоколы WWW: стандарты и протоколы передачи данных, форматы файлов Internet, используемые в WWW стандарты хранения данных, принципы поиска информации в Internet, использование поисковых систем, поиск тематической информации, путеводители по ресурсам.

129. Язык гипертекстовой разметки HTML: фреймы, создание многооконного интерфейса. использование HTML для определения полей заголовка сообщения протокола HTTP, программирование сценариев просмотра JavaScript; Java, JavaScript и модули расширения, расширение возможностей создания таблиц.

ПЕРЕЧЕНЬ ЛИТЕРАТУРЫ

Основная литература:

1. А. Ахо, Р. Сети, Дж. Ульман. Компиляторы. Принципы, технологии, инструменты. Пер. с англ., М.: Изд. Дом "Вильямс", 2001. 2. А. Менезес и др. Настольная книга по прикладной криптографии. Пер. с англ. - СПб., 2002. 3. А.В. Гордеев, А.Ю. Молчанов. Системное программное обеспечение. СПб. - Москва. Харьков. Минск "Питер", 2002. 4. Государственный стандарт ГОСТ 28147-89. 5. Григорьев Ю.А., Ревунков Г.И. Банки данных: Учеб. для вузов. - М.: Изд-во МГТУ им. Н.Э, Баумана, 2002. - 320 с. 6. Иванова Г.С. Основы программирования: Учебник для вузов. - 2-е изд., перераб. и доп. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 416 с. 7. Иванова Г.С. Технология программирования: Учебник для вузов. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 320 с. 8. Карпов Ю.Г. Теория автоматов: Учеб. для вузов. - СПб.: Питер, 2002. - 206 с. 9. Мамаев М., Петренко С. Технологии защиты информации в Интернете. Специальный справочник. - СПб.: Питер, 2002. 10. Международный стандарт: " RFC-2196 Безопасность". 11. Норенков И.П. Основы автоматизированного проектирования: Учеб. для вузов. 2-е изд., перераб. и доп. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 336 с. 12. Орлов С.А. Технология разработки программного обеспечения: Разработка сложных программных систем: Учеб. для вузов. - СПб.: Питер, 2002. - 463 с. 13. Павловская Т.А., Щупак Ю.А. С/С++: Программирование на языке высокого уровня: Структурное программирование: Практикум: Учеб. пособие для вузов. - СПб.: Питер, 2002. - 238 с. 14. Технология разработки программного обеспечения: Учебник/ С.А. Орлов. - СПб.: Питер, 2002. - 464 с. 15. Трофимов С.А. CASE-технологии: практическая работа в Rational Rose. Изд. 2-е. - М.: Бином-Пресс, 2002 г. - 288с.: ил. 16. Черемных С.В. и др. Моделирование и анализ систем. IDEF-технологии: практикум / С.В. Черемных, И.О. Семенов, B.C. Ручкин. - М.: Финансы и статистика, 2002. - 192 с.

Дополнительная литература:

17. А.В. Фролов, Г.В. Фролов, Графический интерфейс GDI в MS WINDOWS, Москва, Изд-во Диалог-МИФИ, 1994. 18. Аарон И. Волш Основы программирования на Java для World Wide Web. IDG Books Worldwide,Inc.,1996, Издательство "Диалектика",1996 19. Абилов В.Г., Зинченко Н.И. Turbo и Arity: два подхода к логическому программированию. //Мир ПК No.2,3, 1990. 20. Администратор сетевой операционной системы NetWare V. 3.11. Уч. пособие. Киев.: Квазар-Микро, 1994. 21. Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. Пер. с яп. М.: Мир, 1993. 22. Андерсон Р. Доказательство правильности программ / Пер. с англ. - М.: Мир, 1982. 23. Анин Б.Ю. Защита компьютерной информации. - СПб.: БХВ-Петербург, 2000. 24. Анисимов Б.В., Петров В.Я. Организация вычислительных процессов ЦВМ. Учебник для вузов. М.: Высшая школа, 1977. 25. Аркадьев А.Г., Браверман Э.М. Обучение машины классификации объектов. М.: Наука, 1971. 26. Архангельский А.Я. Программирование в С++ Builder 5. М.: БИНОМ, 2000. 27. Ахо А. и др. Построение и анализ вычислительных алгоритмов. /А Ахо, Дж. Хопкрофт, Дж. Ульман: Пер. с англ. А.О. Слисенко. /Под ред. Ю.В. Матилсевича. М.: Мир, 1979. 28. Ахо А., Хопкрофт Э., Улман Д. Структуры данных и алгоритмы. М.: Издательский дом "Вильямс", 2001. - 384с. 29. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир. - 1979. - 536 с. 30. Бадд Т. Объектно-ориентированное программирование в действии/ Пер. с англ. - Питер, 1997. - 464 с. 31. Баррон Д. Рекурсивные методы в программировании. Пер. с англ. М.:Мир, 1974. 32. Бежанова М.М., Поттосин И.В. Современные понятия и методы программирования: Учеб. - М.:Науч. мир, 2000. 33. Брукс Фредерик. Мифический человеко-месяц или как создаются программные системы: Пер. с англ. - СПб.: Символ, 2000. - 298 с. 34. Бутаков Е.А., Островский В.И., Фадеев И.Л. Обработка изображений на ЭВМ. М.: Радио и связь, 1987. 35. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++: Пер. с англ. - 2-е изд. - М., СПб.: БИНОМ, Невский Диалект, 2000. 36. Валиев М.К., Кругляков С.В., Юрченко В.В. Функциональное программирование. М.: Знание, 1989. 37. Васкевич Д. Стратегии клиент/сервер. Руководство по выживанию для специалистов по реорганизации бизнеса. К.: Диалектика, 1996. 38. Вендров А.М. Проектирование программного обеспечения экономических информационных систем. Учебник. - М.: Финансы и статистика, 2000.- 352 с. 39. Вендров А.М. CASE - технологии. Современные методы и средства проектирования информационных систем. - М.: Финансы и статистика, 1998.-176 с. 40. Веттиг Д. Novell NetWare: Пер. с нем. - К.: Торгово-издательское бюро BHV, 1994. 41. Вирт Н. Алгоритмы + структуры данных = программы / Пер. с англ. - М.: Мир, 1985 (Математическое обеспечение ЭВМ ). 42. Вирт Н. Алгоритмы и структуры данных. М.: Мир, 1989 43. Вирт Н. Систематическое программирование. Введение/Пер. с англ. - М.: Мир, 1977. 44. Виттих В.А., Сергеев В.В., Сойфер В.А. Обработка изображений в автоматизированных системах научных исследований. М.:Наука,1982. 45. Вишневский А., Мамаев Е. Microsoft SQL. Server 7. - СПб.: Питер, 2001. - (Для профессионалов). 46. Вычислительные процессы и системы. /Под ред. Г.И. Марчука. Вып.7. М.: Наука, 1990. 47. Вычислительные системы, сети и телекоммуникации. Пятибратов и др. - ФИС, 1998. 48. Гаврилова Т.А., Червинская К.Р. Извлечение и структурирование знаний для экспертных систем. М.: Радио и связь, 1992. 49. Гайдешев И. Анализ и обработка данных: Спец. справочник. - СПб.: Питер, 2001. 50. Глушаков С.В., Ломотько Д.В. Базы данных: Учеб. курс. - М.: Харьков АСТ, Фолио, 2000. (Домашняя библиотека). 51. Горелик А.А., Скрипкин В.А. Методы распознавания. Уч. для вузов. М.: Высшая школа, 1987. 52. Грибанов В.П., Дробин С.В., Медведев В.Д. Операционные системы. Уч. пособие для вузов по спец. "Экономическая информатика и автоматизированные системы управления". М.: Финансы и статистика, 1990. 53. Григорьев А. Стандартный ввод-вывод и прерывания. 2-е изд. М. .: ДИАЛОГ-МИФИ, 1991. 54. Грин Д., Кнут Д. Математические методы анализа алгоритмов: Пер. с англ. Б.Б. Походзея. /Под ред. Ю.В. Матилсевича. М.:Мир, 1987. 55. Гросс М., Лантен А. Теория формальных грамматик. Пер. с франц. Изд-во "Мир", М. : 1971. 56. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М. : Мир, 1981 57. Гук М. Процессоры Intel: от 8086 до Pentium II - СПб.: Питер, 1997. 58. Гукин Д. Оптимизация Windows: Руководство фирмы Microsoft: Пер. с англ. СПб.: Питер, 1995 59. Гультяев А.К., Машин В.А. Проектирование и дизайн пользовательского интерфейса. - СПб.: корона-принт, 2000. - 352 с. 60. Д. Роджерс, "Математические основы машинной графики", Москва, Мир, 2001. 61. Дайтибегов Д.М., Черноусов Е.А. Основы алгоритмизации и алгоритмические языки. М.: Финансы и статистика, 1992. 62. Двоеглазов И.М. Язык программирования С++. Справочное руководство. Киев: Евроиндекс, 1993. 63. Девянин П.Н. и др. Теоретические основы компьютерной безопасности: Учеб. пособие для вузов. - М.: Радио и связь, 2000. 64. Джейсон Мейнджер. Java: Основы программирования. Киев: Издательская группа BHV, 1997 65. Джефри Ф. Хьюс, Блэр В. Томас. Переход к сетям NetWare 4.1. Руководство Novell: Пер. с англ. М.: "Лори", 1996. 66. Джо Вебер. Технология Java в подлиннике. QUE Corporation, 1996, "BHV-Санкт-Петербург",1997 67. Джон Родли. Создание Java-апплетов. Издательство НИПФ "ДиаСофт Лтд.", 1996 68. Джонстон Г. Учитесь программировать/ Пер. с англ. - М.: Финансы и статистика, 1989. 69. Джордейн Р. Справочник программиста персональных компьютеров типа IBM PC, XT и AT. - М., Финансы м статистика, 1992 (оригинал 1986). 70. Диго С.М. Проектирование баз данных: Уч. для вузов. М.: Финансы и статистика, 1988. 71. Дос. Версия 3.30. Руководство пользователя. М.: 1989 72. Дуда Р., Харт П. Распознавание образов и анализ сцен: Пер. с англ. Г.Г. Вайнштейна и А.М. Васьковского. Под ред. В.Л. Стефанюка. М.: Мир, 1976. 73. Дьяконов В.Ю., Китов В.А., Калинчев И.А. Системное программирование: Уч. пособие для вузов. /Под ред. А.Л. Горелика. М.: Высшая школа, 1990. 74. Дэвид Флэнэ. Java in a Nutshell. O'Reilly & Associates, Inc., 1997, Пер. с англ., Издательская группа BHV, Киев, 1998 75. Ершов А.П. Введение в теоретическое программирование. Беседы о методе. М.: Наука, 1977. 76. Завгородний В.И. Комплексная защита информации в компьютерных системах: Учебное пособие. - М.: Логос; ПБОЮЛ Н.А. Егоров, 2001 77. Змитрович А.И. Интеллектуальные информационные системы. Мн.: НТООО "ТетраСистемс", 1997. 78. И. Братко. Программирование на языке ПРОЛОГ для искусственного интеллекта. М.Мир,1990 79. И.Ю. Баженова. Язык программирования Java. М.: АО "Диалог-МИФИ", 1997 80. Ивлев Ю.В. Логика. М.: Изд. МГУ, 1992. 81. Инмон У., Фридман Л. Методология экспертной оценки проектных решений для систем с базами данных. Пер. с англ. М.: Финансы и статистика, 1986. 82. Интеграция Windows NT и UNIX в подлиннике: Пер. с англ. СПб.: BHV СПб, 1998. 83. Интеллектуальные процессы и их моделирование: Сб. статей. Под ред. Е.П. Велихова, А.В. Чернавского. М.: Наука, 1987. 84. Искусственный интеллект: Справочник. В 3-х кн. М.: Радио и связь 1990. 85. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). - М.: "ЛОРИ", 1996. - 242 с. 86. Карпова Т.С. Базы данных: Модели, разработка, реализация: Учеб. для вузов. - СПб.: Питер, 2001. 87. Кен Арнольд, Джеймс Гослинг. Язык программирования Java. Addison-Wesley Longman,U.S.A.,1996, Издательство "Питер-Пресс", 1997 88. Кнут Д. Искусство программирования. Т.1. Основные алгоритмы, 3-е изд.: М.: Издательский дом "Вильямс", 2000. - 720с. 89. Кнут Д. Искусство программирования. Т.3. Сортировка и поиск, 2-е изд.: М.: Издательский дом "Вильямс", 2000. - 832с. 90. Ковальский Р. Логика в решении проблем. - М.: Наука, 1990. 91. Компаниец Р.И., Маньков Е.В., Филатов Н.Е. Системное программирование. Основы построения трансляторов/ Учебное пособие для высших и средних учебных заведений. - СПб, КОРОНА принт, 2000. 92. Компьютерные сети. Учебный курс, 2-е изд. (+CD-ROM). - MicrosoftPress, Русская редакция, 1998. 93. Компьютерные сети: Принципы, технологии, протоколы: Учебник/ В.Г. Олифер, Н.А. Олифер. - СПб.: ЗАО Издательство "Питер",2001. 94. Коннолли Т., Бегг., Страчан А. Базы данных: Проектирование, реализация и сопровождение: Теория и практика: Пер. с англ. - 2-е изд., испр. - М.: Вильямс, 2000. - 112 с. 95. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦМНО, 1999 96. Котов В.Е. Введение в теорию схем программ. /Под ред. А.П. Ершова. Новосибирск: Наука, 1978. 97. Котов В.Е. Сети Петри. - М.: Наука. - 1984.- 160 с. 98. Коуд П., Норт Д., Мейфилд М. Объектные модели. Стратегии шаблоны, приложения. - пер. с англ. М.: Издательство ЛОРИ - 2000. 99. Крейг Х. Персональные компьютеры в сетях TCP/IP: Пер. с англ. К.: BHV, 1997. 100. Кулаков Ю.А., Луцкий Г.Н. Компьютерные сети. К.: Юниор, 1998. 101. Кульгин М. Технология корпоративных сетей. Энциклопедия. - СПб.: Питер,2000. 102. Куправа Т.А. Создание и программирование баз данных средствами СУБД dBase III Plus, FoxBase Plus, Clipper. М.: Мир, 1991. 103. Левицкий В.С. Машиностроительное черчение и автоматизация выполнения чертежей: Учеб. для вузов. - 4-е изд., испр. - М.Ж Высш. шк., 2000. 104. Липский В. Комбинаторика для программистов.- М.: Мир, 1988.-213 с 105. Логика и компьютерное моделирование рассуждений и проверка правильности программ. /Н.А. Алешина, А.М. Анисов, П.И. Быстров. и др. М.: Наука, 1990. 106. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. Пер. с фр. /Тейз А., Три бомон П., Луи Ж и др. М.: Мир, 1990. 107. Логическое программирование: Пер. с англ. и фр. М.: Мир, 1988. 108. М. Майнази, К. Андерсон, Э. Криган. Введение в Windows NT Server 4.0: Пер. с англ. С. Орлова. М.: Лори, 1997. 109. М. Пайк. Internet в подлиннике: Пер. с англ. СПб.: BHV-Санкт-Петербург, 1996. 110. Майкл Томас, Пратик Пател, Алан Хадсон, Доналд Болл. Секреты программирования для Internet на Java. Издательство "Питер Пресс", 1997 111. Маклаков С.В. BPwin и ERwin: CASE-средства разработки информационных систем. - 2-е изд. - М.: ДИАЛОГ-МИФИ, 2001. - 304 с. 112. Маковский В.А., Похлебаев В.И. Базы данных /dBase III Plus - Ре бус./ М.: Изд-во стандартов, 1993. 113. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. М.: наука, 1990. 114. Марка Д.А., МакГоуэн К. SADT - методология структурного анализа и проектирования. -М.: Метатехнология, 1993. 115. Маурер У. Введение в программирование на языке ЛИСП: Пер. с англ. М.: Мир, 1976. 116. Минаси М. Графический интерфейс пользователя: секреты проектирования: Пер. с англ. - М.; Мир, 1996. 117. Минский М., Пейперт С. Персептроны: Пер. с англ. М.: Мир, 1971 118. Молдовян А.А., Молдовян Н.А., Советов Б. Я. Криптография. - СПб.: Лань, 2001. 119. Мунипов В.М., Зинченко В.П. Эргономика: человеко-оринтированное проектирование техники, программных средств и среды: Учеб. для вузов. - М.: ЛОГОС, 2001. 120. Назаров С.В. Администрирование локальных сетей Windows NT: Учеб. пособие для вузов. - М.: Финансы и статистика, 2001. - 335 с. 121. Нейл Бартлетт, Алекс Лесли, Стив Симкин Программирование на Java. Путеводитель. Издательство НИПФ "ДиаСофт Лтд.",1996 122. Немнюгин С.А. Turbo Pascal: Учеб. / С.А. Немнюгин. - СПб.: Питер, 2001. 123. Нечаев В.И. Элементы криптографии: Основы теории защиты информации: Учеб. пособие для вузов. - М.: Высш. шк., 1999. 124. Нортон П. Персональный компьютер фирмы IBM и операционная система MS DOS. М.: Радио и связь, 1992. 125. Оберг Р.Д. Технология СОМ+: Основы и программирование: Практ. руководство по Windows 2000 DNA: Пер. с англ. - М.: Изд. Дом "Вильямс", 2000. - 478 с. 126. Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. - СПб.: Питер, 2001. 127. Орфали Р., Харки Д., Эдвардс Д. Основы СОRВА: Пер. с англ. - М.. МАЛИП, Горячая линия - Телеком, 1999. -318с. 128. Основы криптографии: Учеб. пособие для вузов/ Алферов А.П., Зубов А.Ю., Кузьмин А.С. и др. - М.: Гелиос АРВ, 2001. 129. Основы теории вычислительных систем: Уч. пособие для вузов./ Майоров С.А., Новиков Г.И., Алиев Т.И. и др. Под ред. С.А. Майорова. М.: Высшая школа, 1978. 130. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. М.: Мир, 1985.- 512 с. 131. Пасечник А., Богумирский Б. Переход на Windows 2000: Руководство администратора сети. - СПб.: Питер, 2000. - 443с. - (Для профессионалов). 132. Патрик Нотон, Герберт Шилдт Полный справочник по Java. Пер. с англ.,1997, Издательство "Диалектика",1997 133. Персональный компьютер для всех. В 4 кн. /Под ред. А.Я. Савельева. Кн. 3. Создание и использование баз данных: Практич. пособие. /А.Я. Савельев, Б.А. Сазонов, С.Э. Лукьянов. М.: Высшая школа, 1991. 134. Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Наука. 1984. -264 с. 135. Подбельский В.В. Язык С++: Учеб. пособие для вузов. - 5-е изд. - М.: Финансы и статистика, 2001. 136. Пол А. Объектно-ориентированное программирование на С++, 2-ое изд./ Пер. с англ. - СПб.: ?Невский диалект?, М.: Издательство ?БИНОМ?, 1999. - 462 с. 137. Поляков Д.Б., Круглов И.О. Программирование в среде TURBO PASCAL: Справ.-метод. пособие. - М.: Изд-во "Май", 1992. 138. Порев В. Компьютерная графика - СПб: BHV-СПб, 2001 - 432 с. 139. Поспелов Г.С. Искусственный интеллект - основа новой информационной технологии. М.: Наука, 1988. 140. Поспелов Д.А. Логические методы анализа и синтеза схем. - М.: Энергия, 1974. 141. Построение экспертных систем: Пер. с англ. /Под ред. Хейеса-Рота и др. М.: Мир, 1987. 142. Р. Дуда, П. Харт, "Распознавание образов и анализ сцен", Москва, Мир, 1976 (гл. 7, 9). 143. Райли Д. Абстракция и структуры данных: Вводный курс - М.: Мир, 1993.- 752 с. 144. Рассел Ч., Кроуфорд Ш. Эффективная работа в Windows NT Server4.0 СПб.: Питер, 1998. 145. Ревунков Г.И. и др. Базы и банки данных и знаний. Уч. для вузов/Под ред. В.Н. Четверикова. М.: Высшая школа, 1992. 146. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика.- М.: Мир, 1980.- 476 с. 147. Ренеган Э. 1001 адрес WEB для программистов: Новейший путеводитель программиста по ресурсам World Wide Web: Пер. с англ. Минск: Попурри,1997.-512с. 148. Роджерс Д. Алгоритмические основы машинной графики- М.: Мир, 1989. - 512 с. 149. Романец Ю.В., Тимофеев П.А., Шаньгин В.Ф. Защита информации в компьютерных системах и сетях/ Под ред. В.Ф. Шаньгина. - 2-е изд., перераб. и доп. - М.: Радио и связь, 2001. 150. Рудаков П.И., Финогенов К.Г. Программируем на языке ассемблера IBM PC - Изд. 2-е. - Обнинск: Издательство "Принтер", 1997. 151. С. Канер, Дж. Фолк, Енг Кек Нгуен. Тестирование программного обеспечения. - К.: Издательство Диасофт, 2000. - 544 с. 152. Санка Пол и др. Использование Windows NT WorkStation 4.0. Спец. изд. Пер. с англ. К.: Диалектика, 1997. 153. Сван Т. Освоение Borland C++4.5. Практический курс. К.: "Диалектика", 1996. 154. Сети ЭВМ: протоколы стандарты, интерфейсы. Ю. Блэк; перев. с англ. - М.: Мир, 1990. 155. Сокольский М.В. Все об Intranet и Internet. М.:Элиот,1998.-254с. 156. Соловьев Г.Н., Никитин В.Д. Операционные системы ЭВМ: Уч. пособие для студентов вузов, обучающихся по спец. "ЭВМ, системы, комплексы и сети", "Автоматизированные системы обработки информации и управления". М.: Высшая школа, 1989. 157. Стинсон К., Зихерт К. Эффективная работа с Windows NT WorkStation 4.0: Пер. с англ. СПб.: Питер, 1997. 158. Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. Пер. с англ. М.: Финансы и статистика, 1990. 159. Тей А. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. - М.: Мир, 1990. 160. Тейксейра С., Пачеко К. Delphi 5. Руководство разработчика. Т. 1. Основные методы и технологии программирования: Пер. с англ. - М.: Изд. дом "Вильямс", 2001. 161. Тейксейра С., Пачеко К. Delphi 5: Руководство разработчика. Т. 2: Разработка компонентов и работа с базами данных: Пер. с англ. - М.: Вильямс, 2000. 162. Уилсон С.Ф., Мэйплс Б., Лендгрейв Т. Принципы проектирования и разработка программного обеспечения: Офиц. Пособие Microsoft для самостоятельной подготовки к экзамену 70-100: Учеб. курс MCSD: Пер. с англ. - М.: ИТД "Русская Редакция", 2000. 163. Уинстон П. Искусственный интеллект: Пер. с англ. В.Л. Стефанюка /Под ред. Д.А. Поспелова. М.: Мир, 1980. 164. Уолренд Дж. Телекоммуникационные и компьютерные сети: Вводный курс: Пер. с англ. - М.: Постмаркет, 2001. 165. Фаронов В.В. Delphi 5: Учебный курс. - М.: Нолидж, 2000. 166. Фаронов В.В. Турбо Паскаль 7.0. Начальный курс: Учеб. пособие. - М.: Нолидж, 1997. 167. Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования.: Пер. с англ. - М.: МИР. 1999. 168. Филд А., Харрисон П. Функциональное программирование. М.: Мир,1993. 169. Фридман А.Л. Основы объектно-ориентированного программирования на языке С++.- М.: Горячая линия - Телеком, Радио и связь, 1999. - 208 с. 170. Хейфец А.Л. Инженерная компьютерная графика: Практич. курс AutoCad: Учеб. пособие. - Челябинск: Изд-во ЧГАУ, 2001. 171. Хендерсон П. Функциональное программирование. Применение и реализация. Пер. с англ. М.: Мир, 1983. 172. Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ. М.: Мир, 1989. 173. Хомоненко А.Д., Цыганков В.М., Мальцев М.Г.. Базы данных: учебник для вузов. - СПб.: Корона-принт, 2000. 174. Хьюз Дж., Мичтом Дж. Структурный подход к программированию. М.: Мир, 1980. 175. Хьюз Джефри Ф., Томас Блейер В. Руководство от Novell. Сети NetWare.: Пер. с англ. - М.: Издательский дом "Вильямс", 2000. 176. Хювенен Э., Сеппянен И. Мир Лиспа. В 2-х т. Пер. с фин. М.: Мир, 1990. 177. Чен М.С. и др. Программирование на JAVA: 1001 совет: Наиболее полное руководство по Java и Visual J++: Пер. с англ./Чен М.С.,Грифис С.В.,Изи Э.Ф..-Минск: Попурри,1997.-640с. 178. Черемных С.В., Семенов И.О., Ручкин В.С. Структурный анализ систем IDEF-технологии. - М.: Финансы и статистика, 2001. - 207 с. - (Прикладные информационные технологии). 179. Чери С., Готлиб Г., Танка Л. Логическое программирование и базы данных. Пер. с англ. М.: Мир, 1992. 180. Шикин Е.В., Боресков А.В., Компьютерная графика. Полигональные модели. - М., ДИАЛОГ- МИФИ - 2000. 181. Эйнджел Э. Интерактивная компьютерная графика. Вводный курс на базе OpenGL, 2 изд. Пер. с англ. - Москва, "Вильямс", 2001. 182. Экспертные системы: Принципы работы и примеры: Пер. с англ. /А. Брукинг, П. Джонс, Ф. Кокс и др. Под ред. Р. Форсайта. М.: Радио и связь, 1987. 183. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. Пер с англ. М: Финансы и статистика, 1987. Перечень основных стандартов в области обеспечения жизненного цикла и качества программных средств 1. ЕСПД. 2. ISO 12207:1995. (ГОСТ Р-1999). ИТ. Процессы жизненного цикла программных средств. 3. ISO 15271:1998. (ГОСТ Р-2002). ИТ. Руководство по применению ISO 12207. 4. ISO 16326:1999. (ГОСТ Р-2002). ИТ. Руководство по применению ISO 12207 при административном управлении проектами. 5. ISO 15504-1-9:1998. ТО. Оценка и аттестация зрелости процессов жизненного цикла программных средств. Ч. 1. Основные понятия и вводное руководство. Ч.2. Эталонная модель процессов и их зрелости. Ч.3. Проведение аттестации. Ч.4. Руководство по проведению аттестации. Ч.5. Модель аттестации и руководство по показателям. Ч.6. Руководство по компетентности аттестаторов. Ч.7. Руководство по применению при усовершенствовании процессов. Ч.8. Руководство по применению при определении зрелости процессов поставщика. Ч.9. Словарь. 6. ISO 9000-3:1997. Стандарты в области административного управления качеством и обеспечения качества. 4асть 3. Руководящие положения по применению стандарта ISO 9001 при разработке, поставке и обслуживании программного обеспечения. 7. ISO 9000:2000. (ГОСТР-2001). Система менеджмента (административного управления) качества. Основы и словарь. 8. ISO 9001:2000. (ГОСТ Р-2001). Система менеджмента (административного управления) качества. Требования. 9. ISO 9004:2000. (ГОСТР-2001). Система менеджмента (административного управления) качества. Руководство по улучшению деятельности. 10. ISO 10005:1995 -Административное управление качеством. Руководящие указания по программам качества. 11. ISO 10006:1997-Руководство по качеству при управлении проектом. 12. ISO 10007:1995-Административноеуправление качеством. Руководящие указания при управлении конфигурацией. 13. ISO 10013:1995-Руководящие указания по разработке руководств по качеству. 14. ISO 10011-1-3:1990. Руководящие положения по проверке систем качества. Ч.1. Проверка. Ч.2. Квалификационные критерии для инспекторов-аудиторов систем качества. Ч.3. Управление программами проверок. 15. ISO 9126:1991. (ГОСТ-1993). ИТ. Оценка программного продукта. Характеристики качества и руководство по их применению. 16. ISO 14598-1-6:1998-2000. Оценивание программного продукта. Ч.1. Общий обзор. Ч.2. Планирование и управление. Ч.3. Процессы для разработчиков. Ч.4. Процессы для покупателей. Ч.5. Процессы для оценщиков. Ч.6. Документирование и оценивание модулей. 17. ISO 9126-1-4. (проекты). ИТ. Качество программных средств: Ч.1. Модель качества. Ч.2. Внешние метрики. Ч.3. Внутренние метрики. Ч.4. Метрики качества в использовании. 18. ISO 14756: 1999. ИТ. Измерение и оценивание производительности программных средств компьютерных вычислительных систем. 19. ISO 12119:1994. (ГОСТ Р-2000). ИТ. Требования к качеству и тестирование. 20. ISO 13210:1994. ИТ. Методы тестирования для измерения соответствия стандартам POSIX. 21. ANSI/IEEE 1008-1986. Тестирование программных модулей и компонентов ПС. 22. ANSI/IEEE 1012-1986. Планирование верификации и подтверждения достоверности качества (валидации) программных средств. 23. ISO 9945-1:1990 (IEEE 1003.1). ИТ. Интерфейсы переносимых операционных систем. Ч.1. Интерфейсы систем прикладных программ (язык Си). 24. ISO 9945-2:1992 (IEEE 1003.2). ИТ. Интерфейсы переносимых операционных систем, 4асть 2. Команды управления и сервисные программы. 25. ISO 15846:1998. ТО. Процессы жизненного цикла программных средств. Конфигурационное управление программными средствами. 26. ISO 14764:1999. (ГОСТ Р - 2002). ИТ. Сопровождение. программных средств. 27. ISO 15408-1-3:1999. (ГОСТ Р-2002). Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Ч.1. Введение и общая модель. Ч.2. Защита функциональных требований. Ч.3. Защита требований к качеству. 28. ISO 13335-1-5:1996-1998. ИТ. ТО. Руководство по управлению безопасностью. Ч.1. Концепция и модели обеспечения безопасности информационных технологий. Ч.2. Планирование и управление безопасностью информационных технологии. Ч.3. Техника управления безопасностью ИТ. Ч.4. Селекция (выбор) средств обеспечения безопасности. Ч.5. Безопасность внешних связей. 29. ISO 10181:1-7. ВОС. 1996-1998. Структура работ по безопасности в открытых системах. Ч.1. Обзор. Ч.2. Структура работ по аутентификации. Ч.3. Структура работ по управлению доступом. Ч.4. Структура работ по безотказности. Ч.5. Структура работ по конфиденциальности. Ч.6. Структура работ по обеспечению целостности. Ч.7. Структура работ по проведению аудита на безопасность. 30. ISO 15910:1999. (ГОСТР-2002) ИТ. Пользовательская документация программных средств. 31. ISO 6592:1986. ОИ. Руководство по документации для вычислительных систем. 32. ISO 9294:1990. (ГОСТ 1993 г.). ТО. ИТ. Руководство по управлению документированием программного обеспечения. 33. ISO 14102:1995. ИТ. Оценка и выбор CASE-средств. 34. ISO 14471:1999. ИТ. Руководство по адаптации CASE-средств. 35. ГОСТ 34.602-89. ИТ. Техническое задание на создание автоматизированных систем. 36. ГОСТ 34.603-92. ИТ. Виды испытаний автоматизированных систем. 37. ГОСТ 34.201-89. ИТ. Виды, комплектность и обозначение документов при создании автоматизированных систем. 38. РД 50-34.698-90. Методические указания. Информационная технология. Автоматизированные системы. Требования к содержанию документов. 39. ГОСТ 28195-89. Оценка качества программных средств. Общие положения. 40. ГОСТ 28806-90. Качество программных средств. Термины и определения. 41. IEC 61508:1-6:1998-2000. Функциональная безопасность электрических/электронных и программируемых электронных систем. Часть 3. Требования к программному обеспечению, Часть 6. Руководство по применению стандартов IEC 61508-2 и IEC 61508-3. 42. www.lDEF.com 43. www.lDEFINE.com 44. www.INTERFACE.com ? Программа представляется в виде разделов дисциплины (дисциплин) и их содержания. --------------- ------------------------------------------------------------ --------------- ------------------------------------------------------------ 23 МИНОБРНАУКИ РОССИИ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "ЧЕРЕПОВЕЦКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"

Показать полностью… https://vk.com/doc63759909_51126050
403 Кб, 6 февраля 2012 в 12:56 - Россия, Москва, ГЭИ, 2012 г., doc
Рекомендуемые документы в приложении