| Form of presentation | Conference proceedings in international journals and collections |
| Year of publication | 2016 |
| Язык | английский |
|
Enikeev Arslan Ilyasovich, author
|
| Bibliographic description in the original language |
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,
|
| Annotation |
16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS |
| Keywords |
formal specifications, model, CSP, menu-select interaction |
| The name of the journal |
16th INTERNATIONAL MULTIDISCIPLINARY SCIENTIFIC GEOCONFERENCE - SGEM2016, INFORMATICS, GEOINFORMATICS AND REMOTE SENSING,CONFERENCE PROCEEDINGS
|
| URL |
http://www.sgem.org |
| Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=142391&p_lang=2 |
Full metadata record  |
| Field DC |
Value |
Language |
| dc.contributor.author |
Enikeev Arslan Ilyasovich |
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/eng/?p_id=142391&p_lang=2 |
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 |
Conference proceedings in international journals and collections |
ru_RU |
|
RUS 
中文 
ES 
Sitemap
