О-66 Орлов, Сергей Александрович. Теория и практика языков программирования : учебник для вузов / С. А. Орлов. - СПб. : Питер, 2014. - 688 с. : ил. - (Учебник для вузов. Стандарт третьего поколения). - Библиогр.: с. 677-682. - Рек. СПИИ РАН. - ISBN 978-5-496-00032-1 : 497.30 р. Содержание: Определение и проблемы языков программирования . - С .22-41 Виртуальные машины и трансляция языков . - С .42-61 Виды языков программирования . - С .62-97 Выражения и присваивания в языках программирования . - С .98-108 Действия и операторы в программах . - С .109-143 Средства представления синтаксиса языков программирования . - С .144-181 Формальная семантика языков программирования . - С .182-208 Типизация данных . - С .209-235 Скалярные типы данных . - С .236-245 Составные типы данных . - С .246-281 Указатели . - С .282-299 Преобразование типов данных . - С .300-319 Подпрограммы . - С .320-375 Управление подпрограммами . - С .376-399 Абстрактные типы данных . - С .400-431 Объектно-ориентированное и аспектно-ориентированное программирование . - С .432-522 Аппарат исключений . - С .523-536 Ввод-вывод и файлы . - С .537-576 Основные понятия параллельного программирования . - С .578-614 Функциональное программирование . - С .615-647 Логическое программирование . - С .648-674 ~РУБ 32.973 Рубрики: Радиоэлектроника Вычислительная техника. Программирование--Программирование Кл.слова (ненормированные): языки программирования -- объектно-ориентированное программирование -- функциональное программирование -- логическое программирование -- Си -- C+ -- C# -- Ada -- Java -- AspectJ -- Prolog Аннотация: Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс задач и упражнений по узловым вопросам. В российских стандартах третьего поколения (компьютерного направления) учебник охватывает базисные разделы следующих дисциплин: теория формальных языков, теория автоматов и формальных языков, языки программирования, программирование, объектно-ориентированное программирование, логическое и функциональное программирование, теория вычислительных процессов. Учебник предназначен для студентов инженерного, бакалаврского и магистерского уровней компьютерных специальностей, может быть полезен преподавателям и исследователям/разработчикам трансляторов и другого программного обеспечения. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
О-66 Орлов, Сергей Александрович. Технологии разработки программного обеспечения : современный курс по программной инженерии : учебник / С. А. Орлов, Б. Я. Цилькер. - 4-е изд. - СПб. : Питер, 2012. - 608 с. : ил. - (Учебник для вузов. Стандарт третьего поколения). - Библиогр.: с. 596-600. - Допущено М-вом образования и науки РФ. - ISBN 978-5-459-01101-2 : 416.50 р. Содержание: Организация процесса разработки . - С .22-48 Руководство программным проектом . - С .49-74 Оценка при планировании программного проекта Формирование и анализ требований . - С .104-121 Классические методы анализа . - С .122-137 Основы проектирования программных систем . - С .138-175 Классические методы проектирования . - С .176-186 Основы объектно-ориентированного представления программных систем . - С .187-217 Объектно-ориентированная разработка требований Объектно-ориентированное проектирование и реализация . - С .267-343 Особенности разработки базы данных Метрики объектно-ориентированных программных систем . - С .344-380 Примеры объектно-ориентированных процессов разработки . - С .381-440 Структурное тестирование программного обеспечения . - С .441-471 Функциональное тестирование программного обеспечения . - С .472-487 Организация процесса тестирования программного обеспечения . - С .488-503 Объектно-ориентированное тестирование . - С .504-535 Обеспечение качества программных систем . - С .536-553 Автоматизация разработки визуальной модели программной системы . - С .554-586 Факторы затрат пост-архитектурной модели COCOMO II . - С .589-595 Терминология языка UML и унифицированного процесса Основные, средства языка программирования Ада 2005. / средства языка программирования Ада 2005 Основные ~РУБ 32.972 Рубрики: Радиоэлектроника Вычислительная техника. Программирование--Программные средства Кл.слова (ненормированные): программная инженерия -- программное обеспечение Аннотация: Учебник посвящен систематическому изложению принципов, моделей, методов и метрик, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в программных проектах. Допущено Министерством образования и науки Российской Федерации в качестве учебника для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направлений подготовки дипломированных специалистов "Информатика и вычислительная техника". Доп.точки доступа: Цилькер, Борис Яковлевич Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |