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

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

RUS

- EN
- 中文
- ES

ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING

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

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

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

2016

Язык

русский

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

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

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

A.I. Enikeev, Mahfoodh Bilal Ahmed Mohammed, Elina Stepanova, ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING //Эвристические алгоритмы и распределённые вычисления, Научный журнал, ISSN 2311–8563, Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Самарский государственный университет», Том 1, выпуск 3,2014,с. 20–31 Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United Kingdom Proceedings Vol.2, 2015, pp 24-35, http://eujournal.org/files/journals/1/books/ISF.Oxford.Vol.2.2015. pdf.

Аннотация

Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United King-dom Proceedings Vol.2, 2015,

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

модели, программная инженерия, формальные средства

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

Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United King-dom Proceedings Vol.2, 2015,

URL

http://eujournal.org/files/journals/1/books/ISF.Oxford.Vol.2.2015. pdf.

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

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

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

Поле 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	A.I. Enikeev, Mahfoodh Bilal Ahmed Mohammed, Elina Stepanova, ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING //Эвристические алгоритмы и распределённые вычисления, Научный журнал, ISSN 2311–8563, Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Самарский государственный университет», Том 1, выпуск 3,2014,с. 20–31 Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United Kingdom Proceedings Vol.2, 2015, pp 24-35, http://eujournal.org/files/journals/1/books/ISF.Oxford.Vol.2.2015. pdf.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=127499	ru_RU
dc.description.abstract	Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United King-dom Proceedings Vol.2, 2015,	ru_RU
dc.description.abstract	Предлагается обзор моделей программной инженерии, включая результаты авторов в упомянутой области	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	модели	ru_RU
dc.subject	программная инженерия	ru_RU
dc.subject	формальные средства	ru_RU
dc.title	ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING	ru_RU
dc.type	Тезисы и материалы конференций в российских журналах и сборниках	ru_RU