Zobrazeno 1 - 10
of 28
pro vyhledávání: '"V. A. Nepomniaschy"'
Autor:
S. A. Chernenok, V. A. Nepomniaschy
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 197-218 (2018)
The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped. This paper
Externí odkaz:
https://doaj.org/article/c4229cdd83ca4fdb9368520d7d87618d
Publikováno v:
Моделирование и анализ информационных систем, Vol 23, Iss 6, Pp 688-702 (2016)
This article presents a method for the analysis and verification of Use Case Maps (UCM) models with scenario control structures — protected components and failure handling constructs. UCM models are analyzed and verified with the help of coloured
Externí odkaz:
https://doaj.org/article/1e89b2d93a0a40ce8c5be7d28d3fb5af
Autor:
I. V. Maryasov, V. A. Nepomniaschy
Publikováno v:
Моделирование и анализ информационных систем, Vol 22, Iss 6, Pp 773-782 (2015)
The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases. In this paper we consider the C-light languag
Externí odkaz:
https://doaj.org/article/f0626ef42c1f4436aa453981d51d6368
Autor:
D. A. Chkliaev, V. A. Nepomniaschy
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 57-68 (2015)
We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallel
Externí odkaz:
https://doaj.org/article/335c9721995946e1873123964a9d76b7
Autor:
S. A. Chernenok, V. A. Nepomniaschy
Publikováno v:
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 94-106 (2014)
The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development. In parti
Externí odkaz:
https://doaj.org/article/90a086dd2674476395c6a14bf4c534df
Autor:
D. A. Chkliaev, V. A. Nepomniaschy
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 57-68 (2012)
We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallel
Externí odkaz:
https://doaj.org/article/abe3135e317c4ab299db96f31c74f5bf
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 144-156 (2011)
Uniform systems of communicating extended finite automata are considered in the paper. These automata systems are useful for initial specification of telecommunication systems such as ring protocols and telephone networks. The goal of our paper is to
Externí odkaz:
https://doaj.org/article/33f9be39c5264836af31c1c2efd5c8ff
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 3, Pp 5-28 (2010)
The mixed axiomatic semantics of a C-kernel language is described. This language is the kernel of a representative C language subset which is callexl C-light. Such semantics allows to simplify the verification conditions in many cases. This semantics
Externí odkaz:
https://doaj.org/article/00f79700e2564119bfb7c6b792c6bf7b
Autor:
D. A. Kondratyev, V. A. Nepomniaschy
Publikováno v:
Programming and Computer Software. 48:331-346
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2a8354460cb3c06c6e275ba22bae392
https://doi.org/10.1134/s036176882205005x
https://doi.org/10.1134/s036176882205005x
Publikováno v:
Automatic Control and Computer Sciences. 51:489-497
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c1894d078dfcfdd9aa1586305f35fee
https://doi.org/10.3103/s0146411617070227
https://doi.org/10.3103/s0146411617070227