Pub Date : 2023-10-01DOI: 10.1134/s0361768823050067
M. V. Sergievskiy
{"title":"Metaclasses in UML and in Programming Languages","authors":"M. V. Sergievskiy","doi":"10.1134/s0361768823050067","DOIUrl":"https://doi.org/10.1134/s0361768823050067","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135606568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-01DOI: 10.1134/s0361768823050079
V. I. Shelekhov
{"title":"Automata-Based Software Engineering with Event-B","authors":"V. I. Shelekhov","doi":"10.1134/s0361768823050079","DOIUrl":"https://doi.org/10.1134/s0361768823050079","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135607177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823040102
S. Meshveliani
{"title":"Admissible Ordering on Monomials is Well-Founded: A Constructive Proof","authors":"S. Meshveliani","doi":"10.1134/S0361768823040102","DOIUrl":"https://doi.org/10.1134/S0361768823040102","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"199 - 214"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41728194","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823040114
Aleksey A. Timakov
{"title":"Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform","authors":"Aleksey A. Timakov","doi":"10.1134/S0361768823040114","DOIUrl":"https://doi.org/10.1134/S0361768823040114","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"215 - 231"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42463423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823020056
Y. A. Blinkov, E. Shchetinin
{"title":"Using Dynamic Memory Reallocation in GInv","authors":"Y. A. Blinkov, E. Shchetinin","doi":"10.1134/S0361768823020056","DOIUrl":"https://doi.org/10.1134/S0361768823020056","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"355-359"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48791334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823020111
A. Korolkova, M. Gevorkyan, D. Kulyabov, L. A. Sevast'yanov
{"title":"Computer Algebra Tools for Geometrization of Maxwell’s Equations","authors":"A. Korolkova, M. Gevorkyan, D. Kulyabov, L. A. Sevast'yanov","doi":"10.1134/S0361768823020111","DOIUrl":"https://doi.org/10.1134/S0361768823020111","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"366-371"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46332141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823040072
D. A. Kapustin, V. V. Shvyrov, T. I. Shulika
{"title":"Static Analysis of Corpus of Source Codes of Python Applications","authors":"D. A. Kapustin, V. V. Shvyrov, T. I. Shulika","doi":"10.1134/S0361768823040072","DOIUrl":"https://doi.org/10.1134/S0361768823040072","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"302-309"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42252362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823040059
A. Godunov, I. I. Khomenkov, V. G. Shchepkov, A. Khoroshilov
{"title":"Configurable Test System for RTOS","authors":"A. Godunov, I. I. Khomenkov, V. G. Shchepkov, A. Khoroshilov","doi":"10.1134/S0361768823040059","DOIUrl":"https://doi.org/10.1134/S0361768823040059","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"286-294"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46172619","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1134/S0361768823040047
A. Borisov, A. Bosov, A. Ivanov
{"title":"Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points","authors":"A. Borisov, A. Bosov, A. Ivanov","doi":"10.1134/S0361768823040047","DOIUrl":"https://doi.org/10.1134/S0361768823040047","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"232 - 246"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48211480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：