Choice of metadata University Online Library
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
ББК 32.97
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
2.
Подробнее
Долгов, А. И.
Алгоритмизация прикладных задач [Электронный ресурс] : учебное пособие / А. И. Долгов. - Москва : ФЛИНТА, 2021. - 136 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9765-0086-0 : Б. ц.
ББК 16я73 + 32.973.05я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Материалы учебного пособия подготовлены на основе результатов проведенных автором исследований и теоретических обобщений по алгоритмизации прикладных задач, решаемых на электронных вычислительных машинах. Должное внимание уделяется положениям и рекомендациям методического характера, с тем, чтобы материалы пособия могли служить методическим руководством для самостоятельной работы читателя по практической разработке, описанию алгоритмов в интересах их программной реализации.Книга предназначена для широкого круга инженерно-технических работников, не специализирующихся в области компьютерной техники, но привлекаемых к разработке, внедрению и реализации прикладных задач, решаемых на ЭВМ в интересах автоматизации самых различных видов профессиональной деятельности. Материалы книги могут быть также полезны для лиц, специализирующихся в области алгоритмизации и программирования, для научных работников, преподавателей вузов и студентов.
Доп.точки доступа:
Флинта, коллекция
Флинта, ЭБС,
Долгов, А. И.
Алгоритмизация прикладных задач [Электронный ресурс] : учебное пособие / А. И. Долгов. - Москва : ФЛИНТА, 2021. - 136 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9765-0086-0 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Материалы учебного пособия подготовлены на основе результатов проведенных автором исследований и теоретических обобщений по алгоритмизации прикладных задач, решаемых на электронных вычислительных машинах. Должное внимание уделяется положениям и рекомендациям методического характера, с тем, чтобы материалы пособия могли служить методическим руководством для самостоятельной работы читателя по практической разработке, описанию алгоритмов в интересах их программной реализации.Книга предназначена для широкого круга инженерно-технических работников, не специализирующихся в области компьютерной техники, но привлекаемых к разработке, внедрению и реализации прикладных задач, решаемых на ЭВМ в интересах автоматизации самых различных видов профессиональной деятельности. Материалы книги могут быть также полезны для лиц, специализирующихся в области алгоритмизации и программирования, для научных работников, преподавателей вузов и студентов.
Доп.точки доступа:
Флинта, коллекция
Флинта, ЭБС,
Page 1, Results: 2