Search
Computing, Telecommunications and Control
Computing, Telecommunications and Control
Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
Английский
Русский
Version for the visually impaired
About the journal
Editorial board
All issues
Guide for Authors
Menu
Submission contents and structure
Formatting guidelines
Submission
Peer review
References
Article abstract
Lisence Agreement
Publication ethics
Journal metrics
News
Contact us
Author
Yusupov Yury V.
Submit Your Paper
Publication schedule
№2 June 2023
№3 September 2023
№4 December 2023
Latest issues
2023
,
Volume 16
Issue 1
Full text
2022
,
Volume 15
Issue 4
Full text
2022
,
Volume 15
Issue 3
Full text
2022
,
Volume 15
Issue 2
Full text
Yusupov Yury V.
Usage of formalization approaches for creation of system models from ucm-specification
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Petrov A.V.
Yusupov Yu.V.
Kotlyarov V,P.
Year: 2011
Issue: 3
0
4159
Pages: 180-184
Generation of formal model of a sysmem from requirements specified in Use Case Map
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Petrov A.V.
Yusupov Yu.V.
Year: 2010
Issue: 4
1
4066
Pages: 191-195
Java code formalization in UML models
Conference "Technologies Microsoft in the theory and programming practice"
Lukashev D.A.
Kotlyarov V,P.
Yusupov Yu.V.
Year: 2009
Issue: 3
0
4151
Pages: 232-236