Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
COMPARATIVE OVERVIEW AND INTERACTIVE SYSTEMS FORMAL MODELS ANALYSIS
Форма представленияСтатьи в зарубежных журналах и сборниках
Год публикации2016
Языканглийский
  • Георгиев Виктор Олегович, автор
  • Прокопьев Николай Аркадьевич, автор
  • Библиографическое описание на языке оригинала 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.
    Аннотация 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.
    Ключевые слова Interactive systems, System modelling
    Название журнала International journal of Pharmacy and Technology
    URL https://www.scopus.com/inward/record.url?eid=2-s2.0-85018212908&partnerID=40&md5=3a82ad0274a8b5f5944ae0f515559de6
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=165335

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