Карта учебно-методической обеспеченности дисциплины
«Формальные методы разработки программного обеспечения»
№ | Информационные ресурсы Литература (название, год издания, авторы) | Количество студентов, изучающих дисциплину (предполагаемый набор ) | Количество в библиотеке КазНУ имени аль-Фараби | |
600-1500 | ||||
Каз. | Рус. | Англ. | ||
ифический человеко-месяц или Как создаются программные системы. СПб.: Символ-Плюс, 2010. – 304 с. правление программными проектами. Практическое руководство по разработке успешного программного обеспечения. М.: Вильямс, 2002. – 176 с. , , Управление программными проектами. Достижение оптимального качества при минимуме затрат. М.: Вильямс, 2003. – 1136 с. Рамбо Дж. Унифицированный процесс разработки программного обеспечения. СПб.: Питер, 2002. – 496 с. Искусство программирования. Т. 1: Основные алгоритмы (М.: Вильямс, 2006. – 720 с.). Т. 2: Получисленные методы (М.: Вильямс, 2007. 832 с.). Т. 3: Сортировка и поиск (М.: Вильямс, 2007. – 824 с.). Т. 4: Комбинаторные алгоритмы. Вып. 2, 3, 4 (М.: Вильямс, 2007-2008). зык программирования Java и среда NetBeans. Изд-е 3. СПб.: БХВ-Петербург, 2011. – 704 с. Гарсиа- Ульман Дж., истемы баз данных. Полный курс. М.: Вильямс, 2004. – 1088 с. кстремальное программирование: разработка через тестирование. СПб.: Питер, 2003. – 224 с. Scrum: гибкая разработка ПО. Описание процесса успешной гибкой разработки программного обеспечения с использованием Scrum. М.: Вильямс, 2011. – 566 с. Neural population dynamics during reaching / M. M. Churchland [et al.] // Nature.– 2012.– v.487.– P.51–56. | 10 | 100 100 10 100 100 30 30 | 2 50 5 25 10 |
