Follow
Всеволод Павлович Котляров, Vsevolod P. Kotlyarov
Всеволод Павлович Котляров, Vsevolod P. Kotlyarov
Peter the Great St.Petersburg Polytechnic University (SPbPU)
Verified email at spbstu.ru
Title
Cited by
Cited by
Year
Основы тестирования программного обеспечения
ВП Котляров, ТВ Коликова
Интернет-Ун-т информ. технологий, 2006
1292006
Systems specification by basic protocols
AA Letichevsky, YV Kapitonova, VA Volkov, AA Letichevsky, SN Baranov, ...
Cybernetics and Systems Analysis 41, 479-493, 2005
622005
Insertion modeling in distributed system design
AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ...
Інститут програмних систем НАН України, 2008
532008
Основы тестирования программного обеспечения. Учебное пособие.
ВП Котляров, ТВ Коликова
М.: Интернет-университет информационных технологий, 2006
482006
The technology of automation verification and testing in industrial projects
S Baranov, V Kotlyarov, A Letichevsky, P Drobintsev
Proc. of St. Petersburg IEEE Chapter, International Conference, May 18 (21 …, 2005
352005
The technology of automation verification and testing in industrial projects
S Baranov, V Kotlyarov, A Letichevsky, P Drobintsev
Proc. of St. Petersburg IEEE Chapter, International Conference, May 18 (21 …, 2005
352005
Verifiable coverage criteria for automated testing
S Baranov, V Kotlyarov, T Weigert
SDL 2011: Integrating System and Software Modeling: 15th International SDL …, 2012
322012
Leveraging UML to deliver correct telecom applications
S Baranov, C Jervis, V Kotlyarov, A Letichevsky, T Weigert
UML for Real: Design of Embedded Real-Time Systems, 323-342, 2003
312003
Semantics of message sequence charts
AA Letichevsky, JV Kapitonova, VP Kotlyarov, VA Volkov, AA Letichevsky, ...
SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005
242005
Основы современного тестирования программного обеспечения, разработанного на С#: учебное пособие
ВП Котляров, ЛП Котлярова
232019
Основы тестирования программного обеспечения
ВП Котляров
Интернет-Университет Информационных Технологий (ИНТУИТ), 2016
182016
An approach to creating concretized test scenarios within test automation technology for industrial software projects
A Kolchin, A Letichevsky, V Peschanenko, P Drobintsev, V Kotlyarov
Automatic Control and Computer Sciences 47, 433-442, 2013
182013
Основы тестирования программного обеспечения: учеб. пособие
ВП Котляров, ТВ Коликова
М.: БИНОМ. Лаб. знаний: Интернет-Ун-т информ. технологий, 2006
172006
Leveraging UML to deliver correct telecom applications in UML for Real: Design of Embedded Real-Time Systems by L. Lavagno, G. Martin, and B. Selic
S Baranov, C Jervis, V Kotlyarov, A Letichevsky, T Weigert
Kluwer Academic Publishers, 2003
162003
An approach to net-centric control automation of technological processes within industrial IoT systems
N Voinov, I Chernorutsky, P Drobintsev, V Kotlyarov
Advances in Manufacturing 5, 388-393, 2017
152017
Distributed OAIS-Based digital preservation system with HDFS technology
N Voinov, P Drobintsev, V Kotlyarov, I Nikiforov
2017 20th conference of open innovations association (FRUCT), 491-497, 2017
142017
Tools for supporting integrated technology of analysis and verification of specifications for telecommunication applications
I Anureev, S Baranov, D Beloglazov, E Bodin, P Drobintsev, A Kolchin, ...
SPIIRAN works 1, 28, 2013
132013
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
ИС Ануреев, СН Баранов, ДМ Белоглазов, ПД Дробинцев, АВ Колчин, ...
Информатика и автоматизация 3 (26), 349-383, 2013
112013
Semantics of timed MSC language
AA Letichevsky, JV Kapitonova, V Kotlyarov, A Letichevsky Jr, V Volkov
Kibernetika and System Analysis 4, 3-13, 2002
112002
Основы тестирования программного обеспечения, Издательства: Интернет-университет информационных технологий, Бином
ВП Котляров, ТВ Коликова
Лаборатория знаний, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20