KFU. Card publication. THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2014

Authors, employees of KFU

Enikeev Arslan Ilyasovich, author

Other authors

Mahfoodh Bilal Ahmed Mohammed

Bibliographic description in the original language

PROCEEDINGS OF 1-st Global Multidisciplinary Academic Meeting,GAM 2014,27-30 March, Cape Verde, 2014, pp 146-152.

Annotation

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

Keywords

модель, программные спецификации, взаимодействующие процессы, формализованные средства, диалоговые системы, технология программирования

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=95997&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Enikeev Arslan Ilyasovich	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	PROCEEDINGS OF 1-st Global Multidisciplinary Academic Meeting,GAM 2014,27-30 March, Cape Verde, 2014, pp 146-152.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=95997&p_lang=2	ru_RU
dc.description.abstract	В докладе предлагается вариант описания модели меню - диалоговой системы на основе теории взаимодействующих процессов CSP. С помощью средств этой теории строятся спецификации функций управления меню ? диалогом. Рассматриваются функции для завершения меню ? диалога на любом шаге выполнения, функции, позволяющие вернуться к любому из предыдущих шагов меню ? диалога, а также функции ? переключатели.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	модель	ru_RU
dc.subject	программные спецификации	ru_RU
dc.subject	взаимодействующие процессы	ru_RU
dc.subject	формализованные средства	ru_RU
dc.subject	диалоговые системы	ru_RU
dc.subject	технология программирования	ru_RU
dc.title	THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU