КФУ. Карточка публикации. ON THE MATHEMATICAL BACKGROUND IN THE SOFTWARE ENGINEERING

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

RUS

- EN
- 中文
- ES

ON THE MATHEMATICAL BACKGROUND IN THE SOFTWARE ENGINEERING

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

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

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

2016

Язык

английский

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

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

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

Arslan Enikeev, Mahfoodh Bilal Ahmed Mohammed, ON THE MATHEMATICAL BACKGROUND IN THE SOFTWARE ENGINEERING, 16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, 30 June - 6 July, 2016, Albena, Bulgaria,INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS VOLUME I,pp.311-318. Proceedings,

Аннотация

16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS

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

formal specifications, model, CSP, menu-select interaction

Название журнала

16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS

URL

http://www.sgem.org

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Еникеев Арслан Ильясович	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	Arslan Enikeev, Mahfoodh Bilal Ahmed Mohammed, ON THE MATHEMATICAL BACKGROUND IN THE SOFTWARE ENGINEERING, 16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, 30 June - 6 July, 2016, Albena, Bulgaria,INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS VOLUME I,pp.311-318. Proceedings,	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=142391	ru_RU
dc.description.abstract	16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS	ru_RU
dc.description.abstract	The paper presents an overview of some of the models for software application development. We study formal specification and analysis tools which may have potential for software application development. Our results in this field are also considered. In particular, we present a model for a menu-select interaction system based on Communication Sequential Process (CSP) theory. This theory enables the specification and analysis of various patterns of communication between processes. The model includes specifications for commonly used processes such as ?stoppable?, ?resettable?, ?backtrackable? and ?coroutine?. Implementation of the model has been carried out using LISP language and it has been performed favorably in a series of tests.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	formal specifications	ru_RU
dc.subject	model	ru_RU
dc.subject	CSP	ru_RU
dc.subject	menu-select interaction	ru_RU
dc.title	ON THE MATHEMATICAL BACKGROUND IN THE SOFTWARE ENGINEERING	ru_RU
dc.type	Тезисы и материалы конференций в зарубежных журналах и сборниках	ru_RU