PETROV / ____. ____ ____. ______ _6 [2013-2014]

ПЕТРОВ

АЛЕКСЕЙ ВЛАДИМИРОВИЧ

каф. ИУ-3

ap{AT}isdk.ru

apetrov{AT}bmstu.ru

Версия 1.0. Январь 2014

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Основная литература (1 / 1)

Алиев Т.И. Основы моделирования дискретных систем: Учеб. пособие. — СПб.: СПбГУ ИТМО, 2009. — 363 с.

Введение в математическое моделирование: Учеб. пособие/ Под ред. П.В. Трусова. — М.: Логос, 2005. — 440 с.

Иванов Д.Ю., Новиков Ф.А. Моделирование на UML. — СПб.: Наука и техника, 2010. — 640 с.

Питерсон Дж. Теория сетей Петри и моделирование систем.

— М.: Мир, 1984. — 264 с., ил.

Savoia, A. Pretotype It (2nd Pretotype Ed., 2011). URL: http://www.pretotyping.org/pretotype-it—the-book

2

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (1 / 7)

Буч Г., Якобсон А., Рамбо Дж. UML. Классика CS. 2-е изд. / Пер. с англ.; Под общей редакцией проф. С. Орлова. —

СПб.: Питер, 2006. — 736 с.

Девятков В.В. Методология и технология имитационных исследований сложных систем: Монография. — М.: Вузовский учебник: ИНФРА-М, 2014. – 448 с.

Лэриби Д. Введение в проблемно-ориентированное проектирование // MSDN Magazine. — Февраль 2009. URL: http://msdn.microsoft.com/ru-ru/magazine/dd419654.aspx

3

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (2 / 7)

Фаулер М. UML. Основы. Краткое руководство по стандартному языку объектного моделирования / Пер. с англ. — СПб.: Символ-Плюс, 2011. — 192 с.

Фаулер М., Скотт К. UML: Основы / Пер. с англ. — СПб.: Символ-Плюс, 2002. — 192 с.: ил.

Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений / Пер. с англ. — 2-е изд. — М.: Издательский дом «Вильямс», 2002. — 528 с.: ил.

(Имеется 3-е англ. изд.: Hopcroft, J.E., R. Motwani, and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3/E, Addison-Wesley, Reading, MA, 2007.)

4

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (3 / 7)

 Эванс Э. Предметно-ориентированное проектирование

(DDD): структуризация сложных программных систем. — М.: Вильямс, 2011. — 448 с.

Ambler, S. The Elements of UML Style (Cambridge Univ. Press, 2003).

Cassandras, C.G., Lafortune, S. Introduction to Discrete Event Systems (Springer Science + Business Media, New York, 2008).

Engelbrecht, A.P. Computational Intelligence: An Introduction, 2nd ed. (John Wiley & Sons, 2007).

5

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (4 / 7)

Fokkink, W. Introduction to Process Algebra (2nd ed., SpringerVerlag, 2007). URL: http://www.few.vu.nl/~wanf/BOOKS/ procalg.pdf

Goldberg, D. What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computing Surveys. 23 (1): 5–48 (March 1991).

IEC 61131-3:2013. Programmable Controllers—Part 3: Programming Languages (3rd ed.).

IEEE Std. 754-2008. IEEE Standard for Floating-Point Arithmetic.

6

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (6 / 7)

ISO/IEC 42010:2007. Systems and Software Engineering— Recommended practice for architectural description of softwareintensive systems.

ISO/IEC/IEEE 60559:2011. Information Technology— Microprocessor Systems—Floating-point arithmetic.

Kleene, S.C. Introduction to Metamathematics (North-Holland Publishing Co., Amsterdam, 1952).

Rosenblueth, A., Wiener, N. The Role of Models in Science. Philosophy of Science, Vol. 12, No. 4 (Oct. 1945), pp. 316–321.

8

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (7 / 7)

Varzi, A.C. Spatial Reasoning and Ontology: Parts, Wholes, and Locations. In: Aiello, M., Pratt-Hartmann, I., and Benthem, J. van (eds.), Handbook of Spatial Logics (Berlin, Springer-Verlag, 2007, pp. 945-1038).

9

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Web-ресурсы

Имитационное моделирование систем. URL: http://gpss.ru/

IEEE Control Systems Society. URL: http://www.ieeecss.org/

Petri Nets World. URL: http://www.informatik.unihamburg.de/TGI/PetriNets/

10