KFU. Card publication. Comparative overview and interactive systems formal models analysis

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

COMPARATIVE OVERVIEW AND INTERACTIVE SYSTEMS FORMAL MODELS ANALYSIS

Form of presentation

Articles in international journals and collections

Year of publication

2016

Язык

английский

Authors, employees of KFU

Georgiev Viktor Olegovich, author

Prokopev Nikolay Arkadevich, author

Bibliographic description in the original language

Prokopiev N.A, Georgiev V.O., Comparative overview and interactive systems formal models analysis//International Journal of Pharmacy and Technology. - 2016. - Vol.8, Is.4. - P.24330-24342.

Annotation

The current stage of development of software is characterized by the prevalence of interactive systems which provide solution of various classes of problems on the basis of the optimum separation of functions between a user and a computational machine. The task of development of interactive systems is multiple-aspect and incorporates virtually all of the major problems in the field of programming. For its solution it is necessary to use theoretical apparatus and tools which are the technological basis for creation of modern effective interactive systems. A significant role among the main and mandatory phases of building such systems is given to selection and development of a formalized system model to streamline the system description, make it easier for its design and analysis, provide a conceptual framework to analyze its behavior and implementation. An interactive system model is a description of schemes of dialog processes and actions performed by the system. In the paper we present a specific classification and review of formal and informal models of interactive systems, as well as the tools and techniques of their building. The analysis was conducted in order to identify the most strong points of presented formalism which, according to the authors, could be useful in formulating a common approach to description of interactive systems.

Keywords

Interactive systems, System modelling

The name of the journal

International journal of Pharmacy and Technology

URL

https://www.scopus.com/inward/record.url?eid=2-s2.0-85018212908&partnerID=40&md5=3a82ad0274a8b5f5944ae0f515559de6

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Georgiev Viktor Olegovich	ru_RU
dc.contributor.author	Prokopev Nikolay Arkadevich	ru_RU
dc.date.accessioned	2016-01-01T00:00:00Z	ru_RU
dc.date.available	2016-01-01T00:00:00Z	ru_RU
dc.date.issued	2016	ru_RU
dc.identifier.citation	Prokopiev N.A, Georgiev V.O., Comparative overview and interactive systems formal models analysis//International Journal of Pharmacy and Technology. - 2016. - Vol.8, Is.4. - P.24330-24342.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=165335&p_lang=2	ru_RU
dc.description.abstract	International journal of Pharmacy and Technology	ru_RU
dc.description.abstract	The current stage of development of software is characterized by the prevalence of interactive systems which provide solution of various classes of problems on the basis of the optimum separation of functions between a user and a computational machine. The task of development of interactive systems is multiple-aspect and incorporates virtually all of the major problems in the field of programming. For its solution it is necessary to use theoretical apparatus and tools which are the technological basis for creation of modern effective interactive systems. A significant role among the main and mandatory phases of building such systems is given to selection and development of a formalized system model to streamline the system description, make it easier for its design and analysis, provide a conceptual framework to analyze its behavior and implementation. An interactive system model is a description of schemes of dialog processes and actions performed by the system. In the paper we present a specific classification and review of formal and informal models of interactive systems, as well as the tools and techniques of their building. The analysis was conducted in order to identify the most strong points of presented formalism which, according to the authors, could be useful in formulating a common approach to description of interactive systems.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Interactive systems	ru_RU
dc.subject	System modelling	ru_RU
dc.title	Comparative overview and interactive systems formal models analysis	ru_RU
dc.type	Articles in international journals and collections	ru_RU