Экзаменационные вопросы по курсу





Скачать 24.53 Kb.
НазваниеЭкзаменационные вопросы по курсу
Дата публикации24.02.2015
Размер24.53 Kb.
ТипЭкзаменационные вопросы
100-bal.ru > Информатика > Экзаменационные вопросы
Экзаменационные вопросы по курсу

«Технология программирования»


  1. Жизненный цикл программного обеспечения. Состав процессов жизненного цикла.

  2. Жизненный цикл программного обеспечения. Основные этапы жизненного цикла.

  3. Каскадная модель жизненного цикла программного обеспечения.

  4. Модель жизненного цикла программного обеспечения с промежуточным контролем.

  5. Спиральная модель жизненного цикла программного обеспечения.

  6. Общие требования к программному обеспечению.

  7. Методология, метод, нотация и средства CASE-технологий.

  8. RAD технологии разработки программного обеспечения и технологии, лежащие в их основе.

  9. Основные этапы RAD-технологий.

  10. Нотация SADT-технологии разработки программного обеспечения.

  11. DFD-технология разработки программного обеспечения. Процесс построение контекстной диаграммы.

  12. DFD-технология разработки программного обеспечения. Процесс построение диаграмм иерархии.

  13. Нотация Йордана DFD-технологии разработки программного обеспечения.

  14. Нотация Гейна – Сарсона DFD-технологии разработки программного обеспечения.

  15. Назначение языка UML.

  16. Общая структура языка UML.

  17. Диаграмма вариантов использования (use case diagram) UML.

  18. Диаграмма классов (class diagram) UML.

  19. Диаграмма состояний (statechart diagram) UML.

  20. Диаграмма деятельности (activity diagram) UML.

  21. Диаграмма последовательности (sequence diagram) UML.

  22. Диаграмма кооперации (collaboration diagram) UML.

  23. Диаграмма компонентов (component diagram) UML.

  24. Диаграмма развертывания (deployment diagram) UML.

  25. Структурные карты Константайна.

  26. Программные модули. Требования к модульной структуре программного обеспечения.

  27. Схемы HIPO.

  28. Диаграммы Джексона.

  29. Диаграммы Варнье – Орра.

  30. Схемы данных в унифицированной системе программной документации.

  31. Схемы программ в унифицированной системе программной документации.

  32. Схемы работы системы в унифицированной системе программной документации.

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

  34. Схемы ресурсов в унифицированной системе программной документации.

  35. Flow-формы.

  36. Диаграммы Насси-Шнейдермана.

  37. Функциональные сети.

  38. Алгебра регулярных множеств и эквивалентность структур программ.

  39. Интуиционистская логика и эквивалентность описаний задач.

  40. Логика проблем и задач и И-ИЛИ-графы.

  41. Алгоритмы решения задач на И-ИЛИ-графах.

  42. Основные операции реляционной алгебры.

  43. Синтаксис языка реляционного исчисления.

  44. Редукция α-выражений реляционного исчисления в последовательность операций реляционной алгебры.

  45. Язык исчисления высказываний, как средство определения состояний вычислительного процесса.

  46. Правила порождения эквивалентностей в алгоритмических логиках.

  47. Язык исчисления предикатов, как средство определения состояний вычислительного процесса.

  48. Кванторы алгоритмической логики.

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

  50. Подстановки в формулах алгоритмической логики.

  51. Теоремы о подстановках алгоритмической логики.

  52. Использование трехзначной алгоритмической логики в спецификациях программ.

  53. Спецификации программ средствами алгоритмической логики.

  54. Определение и свойства преобразователя предикатов.

  55. Преобразователь предикатов, как средство верификации программ.

Добавить документ в свой блог или на сайт

Похожие:

Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по бжд для студентов специальности 110203....
Экзаменационные вопросы по бжд для студентов специальности 190603. 65 – «Сервис транспортных и технологических машин и оборудования...
Экзаменационные вопросы по курсу iconПеречень экзаменационных вопросов
Экзаменационные вопросы по курсу "Гражданское процессуальное право" уч сем. 2012/2013
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по истории и философии науки Курс «История и философия науки»
Программы курса и экзаменационные вопросы по первым двум частям курса представлены ниже
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу 1 «криминалистика»
Понятие, научные основы и значение криминалистической идентификации в судебной, следственной и экспертной практике
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу «молекулярная фармакология»
Содержит 30 заданий (А1 – А30). К каждому заданию дается 4 ответа, из которых правильный только один
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу «Общая электротехника и электроника»
Москва, ул. Кедрова, д. 8, корп. 2 тел.: +7 (495) 648-62-26, 8-800-700-33-04 (доб. 4869)
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу «Теоретические основы электротехники» (I часть)
Москва, ул. Кедрова, д. 8, корп. 2 тел.: +7 (495) 648-62-26, 8-800-700-33-04 (доб. 4869)
Экзаменационные вопросы по курсу iconЭкзаменационные Вопросы по курсу лекций " электротехника и радиоэлектроника " (осень 2003 г.)
Москва, ул. Кедрова, д. 8, корп. 2 тел.: +7 (495) 648-62-26, 8-800-700-33-04 (доб. 4869)
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу 4 курс. «Технология обработки металлов»
Значения угла наклона главной режущей кромки токарного резца, его влияние на процесс резания
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу "Информатика"
Сформировать у студентов представления об основных категориях, понятиях и терминах социального проектирования и прогнозирования,...
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу «Конфликтология в социальной работе»...
Конфликтология в социальной работе: Рабочая программа / составитель А. Н. Гончарова. Красноярск: Красноярский государственный университет,...
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу "Правоведение"
Понятие и виды источников права. Закон и подзаконные акты как основные источники российского права
Экзаменационные вопросы по курсу iconВопросы экзаменационные билетов по курсу
Цель данных методических указаний – помочь студентам в организации самостоятельного изучения материала, предусмотренного программой...
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по курсу «Философия»
Государственное образовательное учреждение высшего профессионального образования «Ставропольская государственная медицинская академия»...
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы (бакалавры) по курсу «История» (Экономическая история)
Рабочая программа рекомендована к представлению на нмс юим на заседании кафедры менеджмента, маркетинга и предпринимательства
Экзаменационные вопросы по курсу iconЭкзаменационные вопросы по общей хирургии
Настоящие методические указания являются пособием для проведения семинаров и практических занятий по курсу «Хозяйственное право»...


Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Поиск