发布求助
文献互助 智能选刊 最新文献

Programming and Computer Software最新文献

筛选
英文 中文
Metaclasses in UML and in Programming Languages UML和编程语言中的元类
4区 计算机科学
Programming and Computer Software Pub Date : 2023-10-01 DOI: 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}
引用次数: 0
Automata-Based Software Engineering with Event-B 基于Event-B的自动机软件工程
4区 计算机科学
Programming and Computer Software Pub Date : 2023-10-01 DOI: 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}
引用次数: 1
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof 单项式上的可容许序是有根据的:一个建设性的证明
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform PLIF平台下PL/SQL程序单元的信息流分析实现方案
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Using Dynamic Memory Reallocation in GInv 在GInv中使用动态内存重新分配
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Computer Algebra Tools for Geometrization of Maxwell’s Equations 麦克斯韦方程组几何化的计算机代数工具
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Static Analysis of Corpus of Source Codes of Python Applications Python应用程序源代码语料库的静态分析
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Configurable Test System for RTOS 可配置的RTOS测试系统
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 0
Thematic Search Algorithms in Scientometric Systems 科学计量学系统中的主题搜索算法
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 10.1134/S0361768823040096
A. Kozitsyn
{"title":"Thematic Search Algorithms in Scientometric Systems","authors":"A. Kozitsyn","doi":"10.1134/S0361768823040096","DOIUrl":"https://doi.org/10.1134/S0361768823040096","url":null,"abstract":"","PeriodicalId":54555,"journal":{"name":"Programming and Computer Software","volume":"49 1","pages":"325-332"},"PeriodicalIF":0.7,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47720023","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}
引用次数: 0
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points 计算机模拟在个人数据匿名化中的应用：现状和要点
IF 0.7 4区 计算机科学
Programming and Computer Software Pub Date : 2023-07-28 DOI: 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}
引用次数: 1
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信