Zobrazeno 1 - 9
of 9
pro vyhledávání: '"V. S. Peschanenko"'
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 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 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
Publikováno v:
Ìнформаційні технології в освіті, Iss 3, Pp 169-174 (2009)
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implement
Externí odkaz:
https://doaj.org/article/a8b370a3777047b381ac8502c31eb7c2
Autor:
M. S. Lvov, V. S. Peschanenko
Publikováno v:
Ìнформаційні технології в освіті, Iss 2, Pp 30-34 (2008)
The main information about the traditions of Informatics learning in Ukraine is described, the recommendations of CC are examined, the adopted training plan of Informatics specialty and the choice of subjects is described in the present article.
Externí odkaz:
https://doaj.org/article/a8e45723dc144a1eb081735a22bfb0bf
Autor:
O. O. Letychevskyi, O. M. Odarushchenko, V. S. Peschanenko, V. S. Kharchenko, V. V. Moskalets
Publikováno v:
Cybernetics and Systems Analysis. 58:289-298
Publikováno v:
Cybernetics and Systems Analysis. 58:157-163
Publikováno v:
Ìnformacìjnì Tehnologìï v Osvìtì, Iss 3, Pp 169-174 (2009)
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implement
Autor:
V. S. Peschanenko, M. S. Lvov
Publikováno v:
Ìnformacìjnì Tehnologìï v Osvìtì, Iss 2, Pp 30-34 (2008)
The main information about the traditions of Informatics learning in Ukraine is described, the recommendations of CC are examined, the adopted training plan of Informatics specialty and the choice of subjects is described in the present article.