ジャーナル情報

Science of Computer Programming (SCP)

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
インパクトファクター:
1.6
出版社:
Elsevier
ISSN:
0167-6423
閲覧:
30195
フォロー:
17
このページに誤りがありますか？お知らせください
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

論文募集

Science of Computer Programming (SCP) is an academic journal published by Elsevier. (ISSN 0167-6423, impact factor 1.6, CCF B).

Aims & Scope Methods of Software Design: Techniques and Applications Science of Computer Programming is dedicated to the distribution, via publication of papers and software, of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and aspects of industrial practice. The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including: Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software; Design, implementation and evaluation of programming languages; Programming environments, development tools, visualisation and animation; Management of the development process; Human factors in software, software for social interaction, software for social computing; Cyber physical systems, and software for the interaction between the physical and the machine; Software aspects of infrastructure services, system administration, and network management. Special emphasis is given to recent trends in software development, such as software architecture, component-based software development and web-based software engineering. SCP is divided into two tracks. These are: (1) Research papers and (2) Software. Research Papers Track These cover four lines of work: (1) Concepts and methodology, (2) Formal techniques, (3) Experimental software technology, (4) Descriptive software technology. Concepts and methodology is open for methodological, philosophical and sociological studies on all aspects of computer software production and usage, including ethics. Also short papers are allowed here, called viewpoints. Formal techniques emphasizes the development and the pragmatic application of formal and semi-formal techniques. Submissions that the editors consider mainly mathematical or theoretical in nature, with the preliminary consent of the authors, will formally be forwarded to the sister journal TCS. Experimental software technology is open for expositions on implementations of and experiments with novel programming languages, systems and methods. Descriptive software technology deals with observational studies of current software development practices, reporting on new languages, systems and methods, including survey reports on the various themes. Software Track See the specific submission instructions for the Software Track in the Guide for Authors. The Software Track of Science of Computer Programming publishes Original Software Publications (OSP) to disseminate existing and useful software in the areas of programming (languages) and software development. Research on programming and software development may involve the creation of (huge) software systems to perform all kinds of experiments related to programming (languages) and software development. Special Issues: The Journal welcomes Special Issues within its Scope either resulting from conferences or workshops or from dedicated editorial efforts. There can be special issues for research papers or for software.
最終更新：Admin Agent （）

特集号

特集号：Selected papers from the 29th Ibero-American Conference on Software Engineering (CIbSE 2026) 投稿締切日: 2026-10-30 Over the past decades, software has become deeply embedded in every aspect of society—ranging from enterprise systems that support core organizational processes, to real-time embedded systems and personal mobile applications. Today, this expansion continues alongside the emergence of transformative technologies such as quantum computing, green computing, the Internet of Things (IoT), and, most notably, the integration of Artificial Intelligence (AI) and Generative AI. These advancements underscore the growing importance of Software Engineering as a discipline capable of addressing the challenges posed by innovation, scale, and societal impact. Software Engineering research and practice play a critical role in the reliable and efficient development of increasingly complex software systems. Grounded in well established methods, processes, and tool support, Software Engineering enables the creation of robust, maintainable, and scalable solutions. Since its inception in 1998, CIbSE has served as a premier forum for showcasing recent advancements in both research and best practices for engineering software-intensive systems. CIbSE has established itself as the leading forum for Software Engineering research in Ibero-America, promoting high quality scientific inquiry while fostering collaboration between academia, industry and other organizations.This special issue is a collection of extended versions of the best papers of CIbSE 2026, which is held from Mon 11 - Fri 15 May 2026 in Santo Domingo, Dominican Republic. Guest editors: Prof. Regina Braga, Federal University of Juiz de Fora, Brasil Areas of Expertise: Software engineering, databases, ontologies, SE with AI, data integration architectures Prof. Pedro Valderas, Universitat Politècnica de València, Spain Areas of Expertise: Software engineering, model-driven development, business process, internet of things, digital twins Prof. Guilherme Travassos, Federal University of Rio de Janeiro, Brasil Areas of Expertise: Experimental software engineering, AI applied in Software Engineering, Internet of Things, Industry 4.0, Context-Aware Software Systems Prof. Óscar Pastor, Universitat Politècnica de València, València, Spain Areas of Expertise: conceptual modeling, requirements engineering, information systems, model-based software production, genomics engineering Special issue information: CIbSE covers all the areas and activities involved in the engineering of software systems, from requirements engineering and software architecture to software evolution and quality assurance, also dealing with specific software engineering approaches (e.g., self-adaptive architectures, continuous software engineering), emerging application domains (e.g., green computing, quantum computing, social and human aspects), recent trends (e.g., application of artificial intelligence to software engineering), and transversal topics (e.g., software engineering education and training). In more detail, the topics of interest of CIbSE include, but are not limited to: ● Application of Artificial Intelligence to Software Engineering ● Auto-adaptive systems ● Community-based software engineering (e.g., open source, crowdsourcing) ● Continuous Software Engineering (Agile Development, DevOps, Continuous Delivery, Continuous Integration, etc.) ● Confidentiality, integrity, privacy, and fairness ● Detection of vulnerabilities to enhance software security ● Digital Twins ● Ethics in Software Engineering ● Experimental Software Engineering ● Human and social aspects of Software Engineering ● Industrial experience reports in Software Engineering ● LLMs and other foundation models in Software Engineering ● Open Science for Software Engineering ● Quantum Software Engineering ● Requirements Engineering ● Research methods in Software Engineering ● Search-based Software Engineering ● Software architecture and variability ● Software economics ● Software ecosystems and systems of systems ● Software Engineering and data science ● Software Engineering education and training ● Software Engineering for strategic domains (e.g., agriculture, aviation, smart cities, etc.) ● Software evolution and modernisation ● Software modeling and Model-Driven Engineering ● Software processes ● Software product lines and processes ● Software quality, quality models and technical debt management ● Software reliability ● Software repository mining and software analytics ● Software reuse ● Software sustainability and Green Software Engineering ● Software testing Manuscript submission information: All manuscripts and supplementary materials should be submitted through the Elsevier Editorial System at Submission site for Science of Computer Programming . Please select the "VSI:CIbSE 2026" as the Article Type during the submission process. Submissions should be prepared according to the Guide for Authors: Guide for Authors - Science of Computer Programming posted on the journal’s website. Final Manuscript Submission Deadline: 30th October 2026 Keywords: Software engineering, AI for Software Engineering, Software quality, Empirical software engineering, Model-driven engineering, Requirements engineering, Software architecture, Ecosystems, Systems-of-systems, Software processes https://www.sciencedirect.com/special-issue/333884/selected-papers-from-the-29th-ibero-american-conference-on-software-engineering-cibse-2026
最終更新：Admin Agent （）
特集号：Participants of the Termination and Complexity Competition 2026 投稿締切日: 2026-11-30 The Termination and Complexity Competition (termCOMP) is an annual international competition for fully automated verification tools that can prove (or disprove) termination for several models of computation/ programming languages, including term rewriting, integer transition systems, C programs, Prolog programs, and Haskell programs. This special issue primarily collects the participants of termCOMP 2026, but it also welcomes submissions of tools that participated in recent years. Guest editors: Dr. rer. nat. Florian Frohn, RWTH Aachen University, Aachen, Germany Areas of Expertise: Termination, Safety, Constrained Horn Clauses, SMT Dr. Raúl Gutiérrez, Associate Professor (tenured) Universitat Politècnica de València Areas of Expertise: Termination, Confluence, Synthesis of Logical Models, Security Special issue information: Since the beginning of the millennium, many research groups developed tools for fully automated termination and complexity analysis. After a tool demonstration at the 2003 Termination Workshop in Valencia, the community decided to start an annual termination competition to spur the development of tools and termination techniques. The termination and complexity competition focuses on automated termination and complexity analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. In all categories, we also welcome the participation of tools providing certifiable proofs. The goal of the termination and complexity competition is to demonstrate the power of the leading tools in each of these areas. This special issue primarily collects the participants of termCOMP 2026, but it also welcomes submissions of tools that participated in recent years. Manuscript submission information: All manuscripts and supplementary materials should be submitted through the Elsevier Editorial System at Submission site for Science of Computer Programming . Please select the "VSI:termCOMP participants" as the Article Type during the submission process. Submissions should be prepared according to the Guide for Authors: Guide for Authors - Science of Computer Programming posted on the journal’s website. Final Manuscript Submission Deadline: 30th November 2026 Keywords: Termination, Complexity, Term Rewriting https://www.sciencedirect.com/special-issue/334374/participants-of-the-termination-and-complexity-competition-2026
最終更新：Admin Agent （）
特集号：18th International Symposium on Functional and Logic Programming 投稿締切日: 2026-12-01 The FLOPS conference series aims to bring together practitioners, researchers and implementors of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. This special issue includes extended versions of selected papers from the 18th iteration of FLOPS, held in Tsukuba, Japan in May 2026. Guest editors: Prof. Ekaterina Komendantskaya, PhD Southampton University, Southampton, UK Areas of Expertise: logic, programming languages, verification, AI Dr. Michael Sperber, PhD Active Group, Germany Areas of Expertise: Functional programming, programming languages, software architecture Special issue information: FLOPS solicits original papers in all areas of declarative programming: functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements; developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques, or statistical methods including generative AI (*); foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by a wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. Manuscript submission information: All manuscripts and supplementary materials should be submitted through the Elsevier Editorial System at Submission site for Science of Computer Programming . Please select the "VSI: FLOPS 2026" as the Article Type during the submission process. Submissions should be prepared according to the Guide for Authors: Guide for Authors - Science of Computer Programming posted on the journal’s website. Final Manuscript Submission Deadline: 1st December 2026 Keywords: Functional programming Logic programming Declarative programming Rewriting Program transformation Programming language semantics https://www.sciencedirect.com/special-issue/335762/18th-international-symposium-on-functional-and-logic-programming
最終更新：Admin Agent （）

これを見た人はこちらも見ています

CCF正式名称インパクトファクター出版社ISSN
BJournal of Systems and Software3.8Elsevier0164-1212

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Programming and Computer Software0.5Springer0361-7688
Journal of Computational Science3.7Elsevier1877-7503
International Journal of Parallel Programming0.9Springer0885-7458
Mathematical Programming2.5Springer0025-5610
Materials Science and Engineering: B5.7Elsevier0921-5107
Materials Science and Engineering: CElsevier0928-4931
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255

関連会議

コメント 0

まだコメントはありません。

コメントするにはログインしてください