Safonov / AMPN_exam_spring_2012

Вопросы по курсу

“Архитектуры и модели программ и знаний”

Проф. Сафонов Владимир Олегович

Санкт-Петербургский государственный университет

Математико-механический факультет, 4 курс

vosafonov@gmail.com

Экзамен по курсу: четверг 31 мая 2012 г., ауд. 1522

1. Эволюция программного обеспечения и инициатива TWC корпорации Microsoft

2. Современные виды программ и платформы разработки ПО

3. Классический жизненный цикл разработки программ и жизненный цикл в трактовке Trustworthy Computing (SDL)

4. Структурное и модульное программирование

5. Абстрактные типы данных и их роль в современном программировании

6. Объектно-ориентированное программирование, его модели, достоинства и недостатки

7. Аспектно-ориентированное программирование

8. Выработка требований и целей разработки программ. Спецификация программ

9. Проектирование и реализация программ

10. Тестирование и верификация программ

11. Сопровождение программ и выпуск программного продукта

12. Организация процесса разработки программ

13. Web-программирование и Web-технологии

14. Сервисно-ориентированные архитектуры (SOA)

15. Облачные вычисления – Cloud Computing

16. Виртуализация – Virtualization

17. Базовые концепции и архитектура .NET

18. Обзор возможностей, типы данных, сборки, атрибуты, метаданные, рефлексия, версии, инструменты .NET

19. Язык C# и LINQ

20. Web-программирование в .NET. Silverlight

21. Распределенное и параллельное программирование в .NET

22. Модели безопасности программ и данных. Безопасность в .NET

23. Представление знаний. Интеграция методов инженерии знаний и инженерии программ. Semantic Web, Web 2.0

24. Модели и классификация знаний. Способы представления знаний. Понятие об экспертной системе

25. Продукции и продукционные знания, продукционные системы

26. Фреймы и фреймовые системы

27. Семантические сети. Байесовские сети

28. Нечеткие множества и нечеткая логика (Fuzzy Sets and Fuzzy Logic)

29. Онтологии (ontologies)

30. Классические ЭС, методы и проблемы их разработки. Извлечение знаний. Концептуализация. Формализация

31. Интеграция инженерии знаний и инженерии программ. Система Knowledge.NET

32. Проблемы и перспективы архитектур и моделей программ и знаний

Литература к курсу

1. Safonov V.O. Using aspect-oriented programming for trustworthy software development. – Wiley Interscience. John Wiley & Sons, 2008, 352 pp.

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

Русский академический сайт Microsoft:

http://www.microsoft.com/rus/msdnaa/curricula,

раздел: “Технология разработки программного обеспечения”

3. Safonov V.O. Secure Software Engineering. University Course. February 2007

(слайды на английском языке).

http://www.msdnaa.net/curriculum/?id=6753

4. Safonov V.O. Software Engineering. University Course. December 2004 (слайды и lecture notes на английском языке).

http://www.msdnaa.net/curriculum/?id=5983

5. Соммервилл И. Инженерия программного обеспечения. 6-е изд., “Вильямс”, 2002

6. Материалы Microsoft по Trustworthy Computing Initiative: www.microsoft.com

7. Брукс Ф.П. , мл. Мифический человеко-месяц. – Юбилейное издание (в честь 25-летия выхода первого издания), СПб: Символ, 2000

8. Майерс Г. Надежность программного обеспечения.- М.: Мир, 1980

9. Майерс Г. Искусство тестирования программ. – М.: Мир, 1979

10. Зиглер К. Методы проектирования программных систем. – М.: Мир, 1985

11. The Capability Maturity Model. – CMU SEI, Addison-Wesley, 1994

12. Требования и спецификации в разработке программ. – М.: Мир, 1984

13. Агафонов В.Н. Спецификация программ: понятийные средства и их организация.- Новосибирск: Наука, 1988.

14. Данные в языках программирования. – М.: Мир, 1982

15. Математическая логика в программировании. – М.: Мир, 1990

16. Платт Д. Знакомство с Microsoft.NET.- M.: Microsoft Press, 2001.

17. Майо Дж. C#. Искусство программирования. Энциклопедия программиста.- M.: DiaSoft, 2002

18. Рихтер Дж. Программирование для Microsoft.NET Framework. – MS Press, 2002

19. Уоткинз Д., Хаммонд М., Эйбрамз Б. Программирование на платформе .NET. – Вильямс, 2003

20. Howard, Michael, and David C. LeBlanc. Writing Secure Code, 2nd ed., Microsoft Press, 2002

21. Уотермен Д. Руководство по экспертным системам. – М.: Мир, 1989

22. Построение экспертных систем. Сб. статей. – М.: Мир, 1989

23. Сафонов В.О. Экспертные системы – интеллектуальные помощники специалистов. – СПб.: Знание, 1992

24. Представление и использование знаний. Сб. статей. – М.: Мир, 1989