Science of Computer Programming
短名 | Sci. Comput. Program. |
Journal Impact | 1.53 |
国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q3) |
期刊索引 | SCI Q4中科院 4 区 |
ISSN | 0167-6423, 1872-7964 |
h-index | 68 |
国内分区 | 计算机科学(4区)计算机科学计算机软件工程(4区) |
SCIENCE OF COMPUTER PROGRAMMING 致力于分发软件系统开发、使用和维护领域的研究成果,包括硬件设计的软件方面。该杂志范围广泛,从方法论基础的许多方面到细节技术问题和工业实践的各个方面。SCP 感兴趣的主题涵盖了软件系统整个生命周期的所有方法,包括• 需求、规范、设计、验证、验证、编码、测试、维护、度量和更新软件;• 编程语言的设计、实施和评估;• 编程环境、开发工具、可视化和动画;• 开发过程的管理;• 软件中的人为因素、社交软件、社交计算软件;• 网络物理用于物理和机器之间交互的系统和软件;• 软件 ASP基础设施服务、系统管理和网络管理。
期刊主页投稿网址涉及主题 | 计算机科学程序设计语言数学操作系统工程类理论计算机科学算法哲学软件工程人工智能生物物理软件 |
出版信息 | 出版商: Elsevier B.V.,出版周期: Monthly,期刊类型: journal |
基本数据 | 创刊年份: 1981,原创研究文献占比: 100.00%,自引率:6.70%, Gold OA占比: 29.07% |
平均审稿周期 | 网友分享经验:较慢,6-12周来源Elsevier官网:平均27.2周 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Specification of paraconsistent transition systems, revisited
2025-2-1
Model independent refusal trace testing
2025-1-1
Microservices simulator: An object-oriented framework for transactional causal consistency
2025-1-1
Editorial Board
2025-1-1
MacroSwarm: A scala framework for swarm programming
2025-1-1
Hybrid dynamical systems logic and its refinements
2025-1-1
Formal verification of timely knowledge propagation in airborne networks
2025-1-1
MDAPW3: MDA-Based Development of Blockchain-Enabled Decentralized Applications
2025-1-1
Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track)
2024-12-1
BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs
2024-12-1
libmg: A Python library for programming graph neural networks in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi>μ</mml:mi><mml:mi mathvariant="script">G</mml:mi></mml:math>
2024-12-1
TADA: A Toolkit for Approximate Distributed Agreement
2024-12-1
Towards a framework for reliable performance evaluation in defect prediction
2024-12-1
Selected papers from the 25th Brazilian Symposium on Formal Methods – SBMF 2022
2024-12-1
IPFS requested content location service
2024-12-1
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning
2024-12-1
Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detection
2024-10-1
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
2024-10-1
Refining a Design Thinking-Based Requirements Elicitation Process: Insights from a Focus Group
2024-10-1
Editorial Board
2024-9-8
Exploring issues of story-based effort estimation in Agile Software Development (ASD)
2024-9-1
Toward A Novel Taxonomy to Capture Code Smells Caused by Refactoring
2024-9-1
Implementing an Environment for Hybrid Software Evaluation
2024-9-1
S2O: A Smart Objects Orchestrator Framework Based on the Web of Things
2024-9-1
Local Deadlock Analysis of Simulink Models based on Timed Behavioural Patterns and Theorem Proving
2024-9-1
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
2024-9-1
Causal Program Dependence Analysis
2024-9-1
Agile Effort Estimation in Colombia: An Assessment and Opportunities for Improvement
2024-9-1
Stark: a tool for the analysis of CPSs robustness
2024-9-1
A pragma based C++ framework for hybrid quantum/classical computation
2024-9-1
Out of Step: Code Clone Detection for Mobile Apps Across Different Language Codebases
2024-9-1
Verifying Safety of Neural Networks from Topological Perspectives
2024-9-1
Editorial Board
2024-8-27
Formal verification of timely knowledge propagation in airborne networks
2024-8-22
Mi Superpoder es la Programación: A Tool for Teaching Programming to Children and Youth
2024-8-1
Report to the readership
2024-8-1
A Hybrid Approach to Extract Conceptual Diagram from Software Requirements
2024-8-1
Automatic detection of infeasible paths in large-scale program based on program summaries
2024-8-1
OCLVerifer: Automated Verfication of OCL Contracts in Requirements Models
2024-8-1
Multi-objective differential evolution in the generation of adversarial examples
2024-7-9
DPFuzz: a Fuzz Testing Tool Based on the Guidance of Defect Prediction
2024-7-1
A method to identify overfitting program repair patches based on expression tree
2024-7-1
Preface for the special issue on SBFT'23: Search-based and fuzz testing - tools
2024-7-1
Encoding TLA+ Proof Obligations Safely for SMT
2024-7-1
Smart contract vulnerability detection using wide and deep neural network
2024-7-1
CRAG – A Combinatorial Testing-Based Generator of Road Geometries for ADS Testing
2024-7-1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022
2024-7-1
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools
2024-7-1
Subsumption, correctness and relative correctness: Implications for software testing
2024-7-1
Editorial Board
2024-6-8
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远