Электронная книга
Знание - мощное оружие, и книга - лучший аккумулятор ценных сведений. Но не только это... И вот хороший образец такого рода работы, что помогает в познании мира, несет знания, необходимые и полезные - "Теория соответствия для систем с блокировками и разрушениями"
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Выражаем надежду, что "Теория соответствия для систем с блокировками и разрушениями" даст вам ценные сведения и поможет изменить и лучше узнать многие вещи из определенной области знаний.
Если у вас возникнет вопрос, вам всегда помогут опытные сотрудники магазин электронных книг ЛитPec - крупнейшего агрегатора, дистрибьютора и продавца лицензионных изданий в России!
Редактор: - Книга выйдет, надо только отжать воду. Автор: - Это не вода, а чистое золото. Гонорар начисляется по числу строк.
Ей сна нет от французских книг, А мне от русских больно спится. (Грибоедов А. С.)
Этот небольшой блок рекламы поможет вам больше узнать о других полезных для путешественника книгах и не только о них: эти и разные прочие спонсоры помогают самым различным сайтам развиваться и существовать. Из помещенной тут информации вы - очень возможно - извлечёте для себя что-то полезное или просто интересное дополнительно Реклама - двигатель торговли, но еще и своего рода источник полезной информации! Тут за примерами далеко ходить не надо
