Электрондық каталог

54718
Дунаев, С.
    UNIX SYSTEM V. RELEASE 4.2: общее руководство [Электронный ресурс] : практическое пособие / С. Дунаев. - Москва : Диалог-МИФИ, 1995. - 228 с. : табл., схем., ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 223. - ISBN 5-86404-059-2 : Б. ц. - Текст : электронный.
ББК 32.972.111я8

Аннотация: Эта книга создавалась в интернациональном коллективе международного института "ИНТЕРПРОГРАММА", София, Болгария. В сущности, никогда нельзя быть уверенным, что та версия UNIX, с которой вы работаете в данный момент, полностью соответствует стандартам открытой архитектуры. Автор выражает глубокую признательность специалистам института: Христо Великову (Борко) – приверженцу компьютеров Hewlett Packard, Огняну Траянову и Златко Станкову – неутомимым пропагандистам IBM и операционной системы AIX, Георгию Шегунову – непревзойденному системному программисту на VAX и одновременно тонкому ценителю возможностей SCO и операционной системы SOLARIS.

Доп.точки доступа:
Диалог-МИФИ


68143
Бурдонов, И. Б.
    Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц. - Текст : электронный.
ББК 32.97

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

Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит


89277

    UNIX-сервер: настройка, конфигурирование, работа в операционной среде, Internet-возможности [Электронный ресурс] : практическое пособие / Диалог-МИФИ. - Москва : Диалог-МИФИ, 1998 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
   Т. 1 : практическое пособие / С. Дунаев. - Москва : Диалог-МИФИ, 1998. - 277 с. : табл., схем., ил. - Б. ц.
ББК 32.972.11я8

Аннотация: Книга представляет собой новую редакцию книги “UNIX System V Release 4.2”. Актуальность использования ОС UNIX за последние годы только повысилась. В настоящее время все больше появляется обслуживающих центров, где в качестве основного корпоративного сервера используется UNIX в тесном взаимодействии с другими серверами, такими, как Windows NT и IntranetWare.В новой книге взята за основу общая канва описания возможностей UNIX из предыдущей редакции, но список команд детально переработан. Некоторые главы, потерявшие свою актуальность, заменены другими, посвященными конфигурированию и настройке, обеспечению взаимодействия UNIX и Windows NT. Особое внимание уделено Internet-возможностям UNIX, потому что она остается первоосновой для всех развивающихся технологий. В специальных главах книги описан типовой набор корпоративного UNIX-сервера и приведены сценарии генерации и скриптописания основных конфигурационных файлов и настраиваемых компонент. В качестве вспомогательного материала использованы малодоступные для широкой публики источники и описание практических приемов работы UNIX- программистов и администраторов

Доп.точки доступа:
Диалог-МИФИ


89278

    UNIX-сервер: настройка, конфигурирование, работа в операционной среде, Internet-возможности [Электронный ресурс] : практическое пособие / Диалог-МИФИ. - Москва : Диалог-МИФИ, 1998 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
   Т. 2 : практическое пособие / С. Дунаев. - Москва : Диалог-МИФИ, 1998. - 282 с. : табл., схем., ил. - Б. ц.
ББК 32.972.11я8

Аннотация: Книга представляет собой новую редакцию книги “UNIX System V Release 4.2”. Актуальность использования ОС UNIX за последние годы только повысилась. В настоящее время все больше появляется обслуживающих центров, где в качестве основного корпоративного сервера используется UNIX в тесном взаимодействии с другими серверами, такими, как Windows NT и IntranetWare.В новой книге взята за основу общая канва описания возможностей UNIX из предыдущей редакции, но список команд детально переработан. Некоторые главы, потерявшие свою актуальность, заменены другими, посвященными конфигурированию и настройке, обеспечению взаимодействия UNIX и Windows NT. Особое внимание уделено Internet-возможностям UNIX, потому что она остается первоосновой для всех развивающихся технологий. В специальных главах книги описан типовой набор корпоративного UNIX-сервера и приведены сценарии генерации и скрипт-описания основных конфигурационных файлов и настраиваемых компонент. В качестве вспомогательного материала использованы малодоступные для широкой публики источники и описание практических приемов работы UNIX- программистов и администраторов

Доп.точки доступа:
Диалог-МИФИ