Zobrazeno 1 - 10
of 38
pro vyhledávání: '"V. P. Kotlyarov"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 22, Iss 6, Pp 750-762 (2015)
The article considers the specifics of a model oriented approach to software development based on the usage of Model Driven Architecture (MDA), Model Driven Software Development (MDSD) and Model Driven Development (MDD) technologies. Benefits of this
Externí odkaz:
https://doaj.org/article/35693af2f333496a8cadcad235b5204c
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2015)
In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic trace
Externí odkaz:
https://doaj.org/article/61587dca5e904af18283a1271d16f304
Publikováno v:
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 144-154 (2014)
The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenari
Externí odkaz:
https://doaj.org/article/24f2cfe508de4d40b002e1777ea560ff
Publikováno v:
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 44-56 (2014)
The paper presents two approaches to debugging the application model behavior scenarios: semi-automatic and automatic. The first approach allows a user to automatize the process of finding the place in a concrete behavioral scenario that is suspiciou
Externí odkaz:
https://doaj.org/article/33b1835e29fa4bf198f117ec92ef054a
Publikováno v:
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 64-77 (2013)
This paper presents an overview of technology of the automated generation of test scenarios based on guides. The usage of this technology can significantly improve the quality of the developed program products. In order to ground the technology creat
Externí odkaz:
https://doaj.org/article/91e12c6ca6444074ac8f4ea3eae761e0
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2012)
In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic trace
Externí odkaz:
https://doaj.org/article/659f72f0ac5546bba2437039baea60cf
Autor:
S. N. Baranov, V. P. Kotlyarov
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 118-130 (2011)
The considered model is used in manual development of application specifications and is based on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the s
Externí odkaz:
https://doaj.org/article/643a318a69f74b728d0975b03824e56e
Publikováno v:
Литосфера, Vol 0, Iss 1, Pp 111-138 (2019)
Subject. The article presents the results of study of Mechnikovskoe gold deposit associated with listvenites and beresites of the Miass region of the Southern Urals.Materials and methods. Materials were sampled during the field work of 2010– 2012.
Externí odkaz:
https://doaj.org/article/2f5d953868d4422ca706174e5fb0f195
Publikováno v:
Surface Engineering and Applied Electrochemistry. 55:692-717
In the design of a working operation with a multicriteria estimation of results a stage in the procedure is selecting technology regulations for the implementation. A modified optimization algorithm is proposed that simplifies the content of the fact
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b798ee887b34aa77b683ae4b1e760206
https://doi.org/10.3103/s1068375519060061
https://doi.org/10.3103/s1068375519060061
Publikováno v:
Doklady Mathematics. 94:529-531
Explicit formulas for matrix elements of the Hermitian matrix are found through a spectrum of this matrix and spectra of some number of its perturbations. A dependence of sufficient number of perturbations from the structure of the matrix and the kin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2866bca8db61a927bb535cf272650f19
https://doi.org/10.1134/s1064562416050136
https://doi.org/10.1134/s1064562416050136