КФУ. Карточка публикации. THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

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

Форма представления

Тезисы и материалы конференций в зарубежных журналах и сборниках

Год публикации

2014

Авторы, сотрудники КФУ

Еникеев Арслан Ильясович, автор

Другие авторы

Mahfoodh Bilal Ahmed Mohammed

Библиографическое описание на языке оригинала

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

Аннотация

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

Ключевые слова

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=95997

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Еникеев Арслан Ильясович	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/?p_id=95997	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	Тезисы и материалы конференций в зарубежных журналах и сборниках	ru_RU