Эквивалентные семантики взаимодействия.

Эквивалентные семантики взаимодействия.

В статье рассматривается эквивалентность формальных семантик взаимодействия с точки зрения определяемых ими возможностей для тестирования. Дается строгое определение этого понятия, исследуются свойства соответствующего квазипорядка — «не меньшей мощности» одной семантики по отношению к другой. Приво...

Full description

Bibliographic Details
Main Authors: И.Б. Бурдонов, А.С. Косачев
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2008-01-01
Series:Труды Института системного программирования РАН
Online Access:https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_55/
id doaj-3df062126d0c431293e40c2f29d3e543
record_format Article
spelling doaj-3df062126d0c431293e40c2f29d3e5432020-11-24T21:39:51Zeng Ivannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262008-01-011415572Эквивалентные семантики взаимодействия.И.Б. Бурдонов А.С. КосачевВ статье рассматривается эквивалентность формальных семантик взаимодействия с точки зрения определяемых ими возможностей для тестирования. Дается строгое определение этого понятия, исследуются свойства соответствующего квазипорядка — «не меньшей мощности» одной семантики по отношению к другой. Приводятся необходимые и достаточные условия эквивалентности семантик.https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_55/
collection DOAJ
language English
format Article
sources DOAJ
author И.Б. Бурдонов
А.С. Косачев
spellingShingle И.Б. Бурдонов
А.С. Косачев
Эквивалентные семантики взаимодействия.
Труды Института системного программирования РАН
author_facet И.Б. Бурдонов
А.С. Косачев
author_sort И.Б. Бурдонов
title Эквивалентные семантики взаимодействия.
title_short Эквивалентные семантики взаимодействия.
title_full Эквивалентные семантики взаимодействия.
title_fullStr Эквивалентные семантики взаимодействия.
title_full_unstemmed Эквивалентные семантики взаимодействия.
title_sort эквивалентные семантики взаимодействия.
publisher Ivannikov Institute for System Programming of the Russian Academy of Sciences
series Труды Института системного программирования РАН
issn 2079-8156
2220-6426
publishDate 2008-01-01
description В статье рассматривается эквивалентность формальных семантик взаимодействия с точки зрения определяемых ими возможностей для тестирования. Дается строгое определение этого понятия, исследуются свойства соответствующего квазипорядка — «не меньшей мощности» одной семантики по отношению к другой. Приводятся необходимые и достаточные условия эквивалентности семантик.
url https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_55/
work_keys_str_mv AT ibburdonov ékvivalentnyesemantikivzaimodejstviâ
AT askosačev ékvivalentnyesemantikivzaimodejstviâ
_version_ 1725928883204653056

Similar Items