Science of Computer Programming

Aims & Scope

Science of Computer Programming is dedicated to the distribution 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 andthe 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.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.4

SJR (SCImago Journal Rank)

Year	Value
2024	0.429

Quartile

Year	Value
2024	Q3

h-index

Year	Value
2024	69

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Statecharts: a visual formalism for complex systems

  Citation: 4337

  Authors: David

• Goal-directed requirements acquisition

  Citation: 1238

  Authors: Anne, Axel, Stephen

• The Esterel synchronous programming language: design, semantics, implementation

  Citation: 1028

  Authors: Gérard, Georges

• The Daikon system for dynamic detection of likely invariants

  Citation: 755

  Authors: Michael D., Jeff H., Philip J., Stephen, Carlos, Matthew S., Chen

• Comparison and evaluation of code clone detection techniques and tools: A qualitative approach

  Citation: 712

  Authors: Chanchal K., James R., Rainer

• ATL: A model transformation tool

  Citation: 653

  Authors: Frédéric, Freddy, Jean, Ivan

• Using branching time temporal logic to synthesize synchronization skeletons

  Citation: 474

  Authors: E.Allen, Edmund M.

• FeatureIDE: An extensible framework for feature-oriented software development

  Citation: 337

  Authors: Thomas, Christian, Fabian, Jens, Gunter, Thomas

• Generalising monads to arrows

  Citation: 327

  Authors: John

• Finding repeated elements

  Citation: 318

  Authors: J., David

---