Сводный каталог книг

/ Д Бентли. - 2-е изд. - СПб. : Питер, 2002. - 268 с. - (Библиотека программиста). - Пер. изд. : Programming Pearls / D. Bentley. - 2000. - 4000 экз. - ISBN 5-318-00715-5 : 58 р., 88.00 р.

ГРНТИ	50	50.41
УДК	681.3.06

ББК З973.2-018 + З 973.2-018


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Bentley, D.
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

[Текст] / Д. Ван Тассел ; пер. с англ. Е. К. Масловского, В. А. Прониной ; под ред. Э. А. Трахтенгерца. - 2-е изд., испр. - М. : Мир, 1985. - 322 с. : табл. - Библиогр. в конце глав. - Пер. изд. : Program style, design, efficiency, debugging and testing / Tassel, Dennie Van Tassel. - 1978. - 35000 экз. - 1.90 р., 1.90 р.
    Содержание:
Стиль программирования
Проектирование программ
Эффективность программ
Отладка программ
Тестирование программ
101 задача по программированию
Групповая разработка проектов

УДК	681.32%ББК 32.973

ББК З973.2

Аннотация: В книге американского автора рассмотрен широкий круг вопросов, касающихся стиля написания программ, рациональных методов их разработки и оптимизации, стратегии отладки и тестирования. Приводимые рекомендации основаны на многолетнем опыте автора. Для специалистов с разной подготовкой - от начинающих программистов до профессионалов, для студентов, обучающихся программированию.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Масловский, Е. К. \пер.\; Пронина, В. А. \пер.\; Трахтенгерц, Э. А. \ред.\; Van Tassel, Dennie
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

[Текст] : монография / Д. Кинг ; пер. с англ. Л. В. Ухова, пер. с англ., под ред. В. В. Мартынюка. - М. : Мир, 1991. - 288 с. : ил. - Библиогр.: с. 274 (15 назв.). - Пер. изд. : Greationg effective software / David King. - New Jersey, 1988. - ISBN 5-03-002005-5 : 3.80 р.
    Содержание:
Что такое конструирование программ?
Основы методики Джексона
Некоторые простые программы
Хорошие и плохие данные
Обработка непредсказуемых ошибок в данных ситуаций (метод отказа)
Слияние нескольких наборов входных данных
Более сложные проблемы программирования
Методы Джексона и другие методы
Методика Джексона и технология программирования
Тестирование
Методика Джексона и проектирование систем
Рассмотрение кодирования
Реализация методики Джексона
Будущее методики Джексона

ГРНТИ

50.05.13

ББК З973


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Ухов, Л. В. \пер.\; Мартынюк, В. В. \пер., ред.\; King, David
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : локсеть 90: Тр. Междунар. конф., Рига 9-11 окт. 1990. - Рига : [б. и.], 1990. - 435 с. : ил + табл. - Библиогр: в конце ст. - 8.60 р.

УДК

681.324

Аннотация: Труды конференции отражают проблемы, связанные с созданием и использованием локальных вычислительных сетей (ЛВС): архитектуру, протоколы и интерфейсы, проектирование и анализ, управление, тестирование, создание технических и программных средств, а также применение и специализацию ЛВС. В труды конференции включены тексты докладов, которые представлены авторами в виде, пригодном для факсимильного размножения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Более 600 терминов / Сост.: В.Ф.Баумгарт и др.; Под ред. Э.А.Якубайтиса. - Москва : Финансы и статистика, 1989. - 192 с. - Библиогр: с.187-192%ISBN 5-279-00475-8. - 0.80 р.

УДК	681.518(038)%ББК 32.973.2

Аннотация: Словарь содержит более 600 терминов, используемых при описании и разработке архитектуры, протоколов и интерфейсов, а также методов и средств управления, обеспечения безопасности и тестирования информационных сетей различных типов. Для специалистов и научных работников, занимающихся исследованием, разработкой и применением информационных сетей, а также аспирантов и студентов вузов соответствующих специальностей. Может быть полезен при изучении и переводе специальной литературы.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Практ. пособие / В.Е. Алексеев, А.С.%Ваулин; Под ред. А.В.Петрова. - Москва : Высшая школа, 1991. - 400 с. : ил. - ISBN 5-06-001623-3. - 2.50 р.

УДК	681.3:519.68%ББК 32.972-01

Аннотация: Данное пособие предназначено для приобретения практических навыков подготовки, отладки и решения задач на современных ЭВМ. В нем подробно рассмотрены математическая формулировка задачи, выбор метода вычислений, разработка схемы алгоритма, написание программы на одном из языков высокого уровня (БЕЙСИК, ФОРТРАН, ПАСКАЛЬ), отладка программ, их тестирование и порядок решения задач на ЭВМ.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Ваулин, А.С.; Петрова, Г.Б.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Л.Ф. Штернберг; Рецензент А.С.Марков. - Москва : Машиностроение, 1988. - 203 с. : ил + табл. - Библиогр: с.202.%ISBN 5-217-00636-6. -

УДК	УДК 681.3.06%ББК 32.973

Аннотация: Изложены теоретические основы и практические приемы работы на программируемых микрокалькуляторах наиболее распространенных типов. Рассмотрены разработка алгоритма решения задачи, его запись в виде программы, ввод ее в память микрокалькулятора, тестирование и отладка программы. Для широкого круга читателей, желающих освоить работу на микрокалькуляторах указанных типов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет

[Текст] : локсеть-88:Тез.докл.третьей всесоюз.конф.(25-27 окт.):В 2-хт. т.1. Тезисы докладов третьей Всесоюзной конференции / АН СССР,ГКВТИ СССР,Ин-т электроники и вычислительной техники. - Рига : Институт электроники и вычислительной техники АН ЛатвССР, 1988. - 280 с. : ил + табл. - Библиогр: в конце ст. - 1.50 р.

УДК	УДК 681.324

Аннотация: Сборник отражает тематику конференции. Рассматривается широкий круг вопросов, связанных с локальными вычислительными сетями (ЛВС): архитектура, протоколы, интерфейсы, проектирование и анализ, управление, тестирование, диагностика ЛВС, создание технических и программных средств, обеспечение надежности и отказоустойчивости, а также применение и специализация ЛВС. В сборник включены только те тезисы, тексты которых авторами были представлены в виде, пригодном для факсимильного размножения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : локсеть-88:Тез.докл.третьей Всесоюз.конф.(25-27 окт.).В 2-х т. 2 / АН СССР, ГКВТИ СССР,АН ЛатвССР,Ин-т электрон. и вычисл.техники. - Рига : Институт электроники и вычислительной техники АН ЛатвССР, 1988. - 250 с. : ил + табл. - Библиогр: в конце докл. - 1.50 р.
Аннотация: Сборник отражает тематику конференции. Рассматривается широкий круг вопросов, связанных с локальными вычислительными сетями (ЛВС): архитектура, протоколы, интерфейсы, проектирование и анализ, управление, тестирование, диагностика ЛВС, создание технических и программных средств, обеспечение надежности и отказоустойчивости, а также применение и специализация ЛВС. В сборник включены только те тезисы, тексты которых авторами были представлены в виде, пригодном для факсимильного размножения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : практическое пособие для инженерно-педагогических работников системы профтехобразования: в 11 книгах / под ред. В.Ф.Шаньгина. - Москва : Высшая школа, 1987 - . : Практическое пособие / Б.В. Шевкопляс. - 1988. - 79 с. : ил. - Библиогр.: с.79. - 0.25 р.ББК З973.2-018

Аннотация: В десятой книге пособия рассмотрены вопросы контроля и диагностики микроЭВМ на этапе производства, описаны технологический маршрут, средства контроля, методика поиска неисправностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Липаев. - Москва : Радио и связь, 1986. - 295 с. : ил., табл. - Библиогр.: с. 289-294 . - 1.30 р.

УДК	681.326.74.06

ББК З973

Аннотация: Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения комплексов программ тестирования. Для инженерно-технических работников, занимающихся проектированием и эксплуатацией программного обеспечения. Полезна аспирантам и студентам вузов соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Пер. с англ., под общ. ред. А.Р. Врублевского / М. Ховард, Д. Лебланк. - 2-е изд., испр. - Москва : Русская редакция, 2004. - 704 с. : ил. - Библиогр.: с.653-657. -Предм. указ.: с.658-671. - Пер. изд. : Writing secure code / M. Howard, D. LeBlank. - ISBN 5-7502-0238-0 : 394.80 р.

ГРНТИ	28
УДК	004.45

ББК З973.26-018.2

Аннотация: В этой книге разработчики найдут практические советы и рекомендации по защите создаваемых приложений на всех этапах процесса создания ПО - от проектирования безопасных приложений и до тестирования для выявления брешей в готовой программе и создания безопасной документации и сообщений об ошибках. Здесь рассказывается о моделировании опасностей, планировании процесса разработки защищенных приложений, проблемах локализации и связанных с ней опасностях, недостатках файловых систем, поддержке конфиденциальности в приложениях и безопасной установке приложений. Авторы иллюстрируют свой рассказ примерами программ на самых разных языках - от C# до Perl. Издание обогащено знанием, полученным авторами в процессе реализации Windows Security Puah - инициативы по укреплению защиты продуктов Microsoft. Книга будет полезной менеджерам проектов, архитекторам приложений, программистам, тестировщикам и техническим писателям, то есть абсолютно всем специалистам, вовлеченным в процесс разработки ПО, - как новичкам, так и профессионалам. Книга состоит из 24 глав, 5 приложений, библиографического списка с аннотациями и предметного указателя.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Лебланк, Дэвид; Howard, M. LeBlank, D.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : методический материал / Джон Роббинс; Пер. с англ. - Перевод издания: Debugging Applications / John Robbins. - Санкт-Петербург : BHV-Петербург, 2001. - 512 с. : ил. + дискета. - (Мастер. Практическое руководство). - Предм. указ.: с. 478-488. - ISBN 0-7356-0886-5 : 14.30 р.

УДК

681.3.06

ББК З973.2-018

Аннотация: Рассматриваются методики отладки (отладочные операторы, трассировка, блочное тестирование), основы работы и типы отладчиков, точки прерывания и пошаговый проход, таблицы символов и форматы символов отладки, удаленная отладка, автоматизированное тестирование. Большое внимание уделено дизассемблированию программ и работе с отладчиками Visual C++, Visual Basic, мультимашинной и мультипроцессорной трассировке, многопоточным блокировкам. В приложениях содержатся сведения о журналах программы Dr.Watson, ресурсах Интернета для Windows-разработчиков и форматах точек прерывания. На компакт-диске представлены MS Platform SDK (январь 2000 г.), исходные коды, отладочные утилиты и полнофункциональный GUI-отладчик.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : методический материал / Джон Роббинс. - Москва : ДМК Пресс, 2001. - 448 с. : ил. - (Для программистов). - 14.70 р.ББК З973.2-018.2

Аннотация: В книге рассматривается актуальный вопрос современного программирования - как избежать ошибок в приложениях, разрабатываемых для операционной системы Windows. Автор, основываясь на собственном глубоком опыте, предлагает эффективные практические методы поиска и устранения ошибок в программе, особенно на ранних стадиях разработки. В книге подробно описано применение различных инструментов для отладки служб операционной системы и распределенных многопроцессорных приложений, для выявления причин и места взаимной блокировки процессов приложения. Такие инструменты позволяют автоматизировать тестирование интерфейсов пользователя, находить место утечки и порчи памяти приложением, тестировать его в условиях нехватки памяти. Книга ориентирована на разработчиков с небольшим опытом программирования, желающих повысить качество своих продуктов; хотя опытные специалисты, возможно, также смогут что-то почерпнуть из нее.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : руководство / М.Е. Фленов. - Санкт-Петербург : BHV-Петербург, 2004. - 880 с. : ил. - Предм. указ.: с.861-865. - ISBN 5-94157-456-8 : 262.00 р.

ГРНТИ	50.41.25
УДК	681.3.068	800.92Delphi

ББК З973.26-018.01

Аннотация: Цель книги - научить читателя строить логику программы и алгоритмы различных вычислений. Уметь программировать еще не достаточно, надо знать, как применять полученные знания на практике. Для этого подробно описывается логика выполнения каждого участка кода, чтобы читатель смог использовать эти знания при решении собственных задач. Книга содержит большое количество примеров практического программирования; некоторые из них вынесены в качестве дополнительной информации на прилагаемый компакт-диск. Электронная версия книги была размещена в Internet в 2003 году. Автор собрал все замечания и предложения по дополнению книги и написал совершенно новый вариант, который вы сейчас держите в руках. Таким образом, книга прошла массовое тестирование и теперь отражает потребности множества как начинающих, так и опытных программистов. Для программистов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] / К. Ауэр; Пер. с англ. - Санкт-Петербург : Питер, 2003. - 368 с. : ил. - (Библиотека программиста). - Алф. указ.: с. 364-367. - ISBN 5-318-00132-7 : 126.00 р.ББК З973.2-018

Аннотация: Экстремальное программирование задает простой вопрос: "Каким образом небольшая группа самых обыкновенных, заурядных разработчиков может создать программный продукт, во всех отношениях удовлетворяющий требованиям заказчика?" Эта книга отвечает на данный вопрос. Авторы не любят вдаваться в методологические дискуссии. Конечно же, в свое время они прислушивались к самым разнообразным доводам. Они анализировали их, разделяли их на части, пытались применить их частично и в целом. Сейчас они знают, что работает, а что - нет. Они также знают, почему.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Миллер, Рой
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / К. Бек; Пер. с англ. П. Анджана. - Санкт-Петербург : Питер, 2003. - 224 с. : ил. - (Библиотека программиста). - Алф. указ.: с. 220-224. - ISBN 5-8046-0051-6 : 108.00 р.

УДК	681.3.06^V3

ББК З973.2-018

Аннотация: Изящный, гибкий и понятный код, который легко модифицировать, который корректно работает и который не подкидывает своим создателям неприятных сюрпризов. Неужели подобное возможно? Чтобы достичь цели, попробуйте тестировать программу еще до того, как она написана. Именно такая парадоксальная идея положена в основу методики TDD (Test-Driven-Develop-ment - разработка, основанная на тестировании). Бессмыслица? Не спешите делать скороспелых выводов. Рассматривая применение TDD на примере разработки реального программного кода, автор демонстрирует простоту и мощь этой новой методики, В книге рассматриваются два программных проекта, целиком и полностью реализованных с использованием TDD. За рассмотрением примеров следует обширный каталог приемов работы в стиле TDD, а также паттернов и рефакторингов, имеющих отношение к TDD. Книга будет полена для любого программиста, желающего повысить производительность своей работы получить удовольствие от программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Внедрение, управление и эксплуатация / Э. Дастин; Пер. с англ. Молодцова Е., Павлов М. - Москва : Лори, 2003. - 567 с. : ил. - Пер. изд. : Automated software testing / E. Dusting. - ISBN 5-85582-186-2 : 280.00 р.ББК З973.2-018.14я82

Аннотация: Книга "Автоматизированное тестирование программного обеспечения" - исчерпывающее пошаговое руководство по использованию наиболее эффективных инструментальных средств, приемов и методов автоматизированного тестирования. Используя многочисленные примеры отраслевых реализаций, эта книга предоставляет исчерпывающую информацию для успешного внедрения автоматизированного тестирования в процесс разработки. Руководство проводит читателя через все этапы работы, начиная с принятия решения о внедрении автоматизированного тестирования, наглядно демонстрирует планирование и выполнение тестирования и, наконец, создание отчета. В книге рассматриваются следующие вопросы автоматизации и управления тестированием: Получение поддержки руководства. Выбор инструментальных средств тестирования. Внедрение автоматизированного тестирования. Оценка требуемых усилий и определение размера команды тестировщиков. Определение состава команды тестировщиков, набор и управление командой. Планирование и подготовка тестирования. Основные направления развития процедур тестирования. Анализ возможности повторного использования автоматизации и создание библиотеки повторного использования. Лучшие приемы автоматизации тестирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Рэшка, Джефф; Пол, Джон; Dusting, E.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / А.С. Стрекаловский; Отв. ред. Ф.П. Васильев ; РАН, Сиб. отд-ние; Институт динамики систем и теории управления. - Новосибирск : Наука, 2003. - 356 с. : табл. - Библиогр.: с. 336-355. - ISBN 5-02-032064-1 : 156.29 р., 55.00 р.

УДК

004.42

ББК В18

Аннотация: В монографии представлены примеры практических задач невыпуклой оптимизации, классификация и мотивация изучения невыпуклых задач. Дано единое изложение теории экстремума для невыпуклых задач оптимизации. Разработана новая методология решения невыпуклых задач математического программирования. Рассмотрены основные свойства линейного пространства d.c. функций (представимых в виде разности двух выпуклых функций) и построена теория необходимых и достаточных условий глобального экстремума в задачах d.c. программирования. Последовательно для задач выпуклой максимизации, обратно-выпуклого программирования и d.c. минимизации предложены новые стратегии глобального поиска, основанные на условиях глобального экстремума. Исследована их глобальная сходимость. Для каждого из перечисленных классов задач предложены новые методы локального поиска и доказана их сходимость. В дополнение к теории представлены численное тестирование предложенных методов глобального и локального поиска и результаты компьютерного решения ряда практических задач. Для специалистов по математическому программированию, решающих практические задачи и интересующихся общей теорией экстремума. На основе отдельных глав монографии могут быть прочитаны спецкурсы на математических и экономических факультетах университетов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Институт динамики систем и теории управления
Экземпляры всего: 2
ИВМ-Фонд (1), ИВМ-ОРФ (1)
Свободны: ИВМ-Фонд (1), ИВМ-ОРФ (1)

[Текст] : монография / Е.А. Жоголев. - Москва : Научный мир, 2004. - 216 с. : ил. - Библиогр.: с. 204-207. - ISBN 5-89176-265-X : 271.70 р.ББК З973.2-018

Аннотация: В основу данной книги положен курс лекций по технологии программирования, читавшихся автором в течение ряда лет студентам факультета Вычислительной математики и кибернетики МГУ. В ней обсуждается совокупность процессов, приводящая к созданию требуемого программного продукта (программного средства, ПС). Рассматриваются наиболее распространенные приемы и методы, используемые в таких процессах, а также возникающие в них проблемы. Даются рекомендации по организации этих процессов и по решению конкретных возникающих в них задач. Отдельная глава посвящена инструментальным средствам, поддерживающим разработку программных продуктов. Значительное внимание уделено понятию качества программного средства и обеспечению требуемого его качества, в частности, его надежности (включая защиту информации). Большой интерес представляют также приведенные в конце книги толковый словарь основных используемых терминов, словарь англоязычных терминов и обширная библиография по данной тематике. Книга будет полезна для программистов, приступающих к разработке больших программных систем, а также окажет поддержку студентам высших учебных заведений, изучающим технологию программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (2)
Свободны: ИВМ-Фонд (2)