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

/ Д Бентли. - 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)

[Текст] : сб. научн.тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. Ершова ; Под ред. Непомнящего В.А. - Новосибирск : [б. и.], 1995. - 237 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-1069-8 : 50.00 р.

УДК	519.95%519.6

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

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

[Текст] : тез.докл. 6 Всесоюзн.конф. КОМПАК-89, 24-26 окт. - Рига : Институт электроники и вычислительной техники АН ЛатвССР, 1989. - 417 с. : 32 ил + 14 табл. - Библиогр: 304 назв. В надзаг.:. - 4.70 р.

УДК

681.324

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

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

[Текст] : монография / В.А. Непомнящий, О.М.Рякин; Под ред.А.П.Ершова. - Москва : Радио и связь, 1988. - 256 с. : ил + табл. - Библиогр.: с.252-254. - ISBN 5-256-00156-6 : 0.80 р.

УДК	УДК 681.3.06

ББК З973.2-018.14

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

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

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

[Текст] : сборник научных трудов / Под ред. С.И.Самойленко. - Москва : [б. и.], 1988. - 177 с. : ил. - (Вопросы кибернетики / АН СССР. Науч. совет АН СССР по комплекс. пробл. "Кибернетика", ISSN ISSN0134-6388 ; 138). - Библиогр. в конце ст. - 8.50 р.
Аннотация: В настоящее время проблемы разработки и верификации протоколов для сетей ЭВМ представляют одно из возможных и наиболее быстроразвивающихся направлений проблематики вычислительных сетей. В сборник включены статьи, отражающие результаты работ ряда ведущих организаций нашей страны (Институт точной механики и вычислительной техники, Институт электроники и вычислительной техники АН Латв.ССР, НИИАА, НСК АН СССР и др.). Сборник полезен для специалистов, работающих в данном направлении, интересующихся вопросами комплексирования средств вычислительной техники, создания систем обработки информации. Сборник ВК-138 издаётся как информационные материалы Научного совета АН СССР по комплексной проблеме "Кибернетика".

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

[Текст] : монография / В. А. Непомнящий и др. ; РАН; Сиб. отд-ние; Ин-т систем информатики им. А.П. Ершова; Под ред. В.А. Непомнящего и Н.В. Шилова. - Новосибирск : [б. и.], 1998. - 139 с. : ил. - Библиогр.: с. 136-137. - 15.00 р.ББК З973.2-018

Аннотация: Настоящая работа посвящена исследованию проблемы автоматического построения сетевых моделей Estelle-спецификаций распределенных систем и развития средств верификации этих моделей. Язык выполнимых спецификаций Estelle принят в качестве международного стандарта. Рассматриваются Estelle-спецификации с задержками и приоритетами, но без динамических конструкций, позволяющие адекватно представлять значительный класс коммуникационных протоколов. В качестве моделей выбраны раскрашенные сети Петри, предложенные Йенсеном, которые расширяются посредством семантик времени в смысле Мерлина и приоритетов. В работе представлен метод трансляции Estelle-спецификаций в данной сетевой модели, описана его реализация, а также система NetCalc, предназначенная для редактирования и симуляции такх моделей. Кроме того, представлены результаты экспериментов по сетевому моделированию и поиску семантических ошибок для версий четырех известных протоколов: со скользящим окном, кольцевого, соединений, InRes.

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

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

[Текст] : Пер. с англ. / И. Соммервилл. - 6-е изд. - Москва : Вильямс, 2002. - 624 с. : ил. - Библиогр.: с. 603-617. - Предм. указ.: с. 618-623. - Парал. тит. англ. - ISBN 5-8459-0330-0 : 243.00 р.

УДК

681.3.07

ББК З973.26-018.2.75

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

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

[Текст] : монография / Под ред. П.М. Хомякова; МГУ им. М.В. Ломоносова. - Москва : Эдиториал УРСС, 2002. - 400 с. : ил. - Библиогр.: с. 379-394. - Предм. указ.: с. 395-397. - Пер. изд. : Geoelogical modelling for nature resource management under climate and environmental changes. - ISBN 5-8360-0339-4. - ISBN 5-8360-0339-4 : 326.20 р., 326.20 р.

ГРНТИ	87.26	34.35.25
УДК	504.06^V3

ББК Е081с512 + Д820.4с512

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

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

Доп.точки доступа:
Хомяков, Петр Михайлович; Иванов, Владимир Дмитриевич; Искандарян, Рубен Александрович; Конищев, Вячеслав Николаевич; Кривобок, Игорь Георгиевич; Пегов, Сергей Анатольевич; Смолин, Владимир Сергеевич; Смолина, Светлана Георгиевна; Терентьев, Геннадий Юрьевич
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)

[Текст] : Учебное пособие / С.В. Синицын, Н.Ю. Налютин. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, [2014]. - 367 с. : ил., табл. ; 22 см. - (Основы информационных технологий). - 2000 экз. - ISBN 978-5-94774-825-3 : 330.00 р.

ГРНТИ	50.41
УДК	004.42(075.8)

ББК З 973.2-018.14я7

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

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

Доп.точки доступа:
Налютин, Никита Юрьевич
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)