logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
S

Science of Computer Programming

IF1.4
论文数51
被引数1644
期刊论文 51
发表时间
delete
Stream-based monitoring with RTLOLA基于RTLOLA的流式监控
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Kohn, Florian; Scheerer, Frederik
delete分享
delete收藏
They want to quit! Why IT professionals leave: A systematic literature review on turnover intention他们想辞职！IT专业人士离职原因：一项关于离职意愿的系统文献综述
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
deleteOAAI
deleteSilva, Wagner Vidal Xavier; Sampaio, Suzana; Marinho, Marcelo Luiz Monteiro
delete分享
delete收藏
CauMon: A tool for online monitoring against signal temporal logicCauMon：用于信号时序逻辑的在线监控工具
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteZhang, Zhenya; An, Jie; Arcaini, Paolo; Hasuo, Ichiro
delete分享
delete收藏
PyBDR: Design and usage of a toolkit for set-boundary based reachability analysisPyBDR：基于集合边界可达性分析的套件设计与使用
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
deleteOAAI
deleteWu, Taoran; Ding, Jianqiang; Liang, Zhen; Deka, Shankar A.; Xue, Bai
delete分享
delete收藏
AutoArk: A model-based approach for ArkTS application code generationAutoArk: 一种基于模型的方法用于ArkTS应用程序代码生成
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteYang, Yilong; Zhang, Runkun; Zhu, Yong; Ye, Maosen; Tang, Mingyu; Wang, Xiaoyan; Wang, Weiru
delete分享
delete收藏
Accelerated bounded model checking with LoAT基于LoAT的加速有界模型检测
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
deleteOAAI
deleteFrohn, Florian; Giesl, Jurgen
delete分享
delete收藏
GIFTbench: Generative image fuzz testing benchmarkGIFTbench：生成图像模糊测试基准
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
deleteOAAI
deleteMaryam, Maryam; Biagiola, Matteo; Stocco, Andrea; Riccio, Vincenzo
delete分享
delete收藏
Selected papers from the 26th Brazilian symposium on formal methods - SBMF 2023 Preface第26届巴西形式方法研讨会（SBMF 2023）入选论文集前言
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteBarbosa, Haniel; Zohar, Yoni
delete分享
delete收藏
Special Issue on the 18th International symposium on theoretical aspects of software engineering第18届软件工程理论方面国际研讨会的专题会议
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteChin, Wei-Ngan; Xu, Zhiwu
delete分享
delete收藏
Preface for "special issue on advances in software aspects of cyber-physical systems"《“网络物理系统软件方面进展”专题引言》
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteKhonsari, Ahmad; Kargahi, Mehdi; Zarandi, Hamid; Dolati, Mahdi
delete分享
delete收藏
Preface for NLBSE'24: Natural language-based software to support software engineering processesNLBSE'24序言：基于自然语言的软件以支持软件工程过程
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteAl-Kaswan, Ali; Kallis, Rafael; Colavito, Giuseppe; Sgueglia, Arnaldo
delete分享
delete收藏
Preface for the special issue on selected software artifacts from DisCoTec 2024-The 19th international federated conference on distributed computing techniquesDisCoTec 2024特刊前言—第19届分布式计算技术国际联合会议精选软件制品
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteCasadei, Roberto; Attard, Duncan Paul; D'Osualdo, Emanuele; Neykova, Rumyana
delete分享
delete收藏
ICCheck: A portable, language-Agnostic tool for synchronizing code clonesICCheck：一种便携式、语言无关的代码克隆同步工具
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
deleteOAAI
deleteAbe, Motoki; Hayashi, Shinpei
delete分享
delete收藏
Scope determined (D) versus scope determining (G) requirements: A new significant categorization of requirements范围确定（D）与范围决定（G）需求：一种新的重要需求分类
deleteScience of Computer Programming
IF1.4
delete2026-05-01
delete0
PREAI
deleteBerry, Daniel; Rahman, Anzira; Sakhnini, Victoria; Dhakla, Abhishek; Lucena, Marcia
delete分享
delete收藏
A survey on web testing: On the rise of AI and applications in industry关于Web测试的综述：人工智能的兴起及其在工业中的应用
deleteScience of Computer Programming
IF1.4
delete2026-04-01
delete0
PREAI
deleteKertusha, Iva; Assres, Gebremariam; Duman, Onur; Arcuri, Andrea
delete分享
delete收藏
Using real-world scenarios to bridge training and practice in evidence-based software engineering: An extended evaluation使用真实场景在基于证据的软件工程中架起培训和实践的桥梁: 扩展评估
deleteScience of Computer Programming
IF1.4
delete2026-03-01
delete0
PREAI
deletePizard, Sebastian; Marenco, Leticia
delete分享
delete收藏
Beyond Balance-Addressing class imbalance in fine-tuning deep learners超越平衡：解决深度学习微调中的类别不平衡问题
deleteScience of Computer Programming
IF1.4
delete2026-03-01
delete0
PREAI
deleteMock, Moritz; Borsani, Thomas; Di Fatta, Giuseppe; Russo, Barbara
delete分享
delete收藏
How to run it? Automated setup steps generation for JavaWeb applicationJavaWeb应用程序的自动化设置步骤生成
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
PREAI
deleteZhang, Hongfan; Wang, Tengmei; Lu, Hengwei; Wang, Yihui; Yu, Jinyan; Liu, Huaxiao
delete分享
delete收藏
Multi-objective optimization of cloud systems云系统多目标优化
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
deleteOAAI
deletePerez, Miguel; Canizares, Pablo C.; Nunez, Alberto
delete分享
delete收藏
An agent-Based model reflective architecture for social network sites基于代理的模型反射式架构用于社交网络站点
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
PREAI
deleteLeger, Paul; San Martin, Daniel; Nunez, Diego; Velez, Tomas
delete分享
delete收藏