| b | Journal of Computer Science and Technology | 1.200 | Springer | 1000-9000 |
| b | Requirements Engineering | 3.3 | Springer | 0947-3602 |
| c | International Journal of Software Engineering and Knowledge Engineering | | World Scientific | 0218-1940 |
| b | Information Systems | 3.4 | Elsevier | 0306-4379 |
| b | Journal of the American Society for Information Science and Technology | 4.3 | John Wiley & Sons, Ltd. | 1532-2890 |
| b | European Journal of Information Systems | 8.6 | Taylor & Francis | 0960-085X |
| b | The Journal of Systems Architecture: Embedded Software Design | 4.1 | Elsevier | 1383-7621 |
| b | ACM Transactions on Embedded Computing Systems | 2.6 | ACM | 1539-9087 |
| Design Automation for Embedded Systems | 0.900 | Springer | 0929-5585 |
| b | Automated Software Engineering | 3.1 | Springer | 0928-8910 |
| Annals of Software Engineering | | Springer | 1022-7091 |
| c | Logical Methods in Computer Science | | Logical Methods in Computer Science | 1860-5974 |
| b | ACM Transactions on Computational Logic | 0.700 | ACM | 1529-3785 |
| b | Theoretical Computer Science | 1.0 | Elsevier | 0304-3975 |
| b | Mathematical Structures in Computer Science | | Cambridge University Press | 0960-1295 |
| b | Journal of Computer and System Sciences | 1.100 | Elsevier | 0022-0000 |
| a | Information and Computation | 0.800 | Elsevier | 0890-5401 |
| b | Software: Practice and Experience | 2.7 | John Wiley & Sons, Ltd | 1097-024X |
| ACM SIGSOFT Software Engineering Notes | | ACM | 0163-5948 |
| c | Computer Languages, Systems and Structures | | Elsevier | 1477-8424 |
| b | Journal of Systems and Software | 4.1 | Elsevier | 0164-1212 |
| b | Journal of Software: Evolution and Process | 1.8 | John Wiley & Sons, Ltd | 2047-7481 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| b | Empirical Software Engineering | 3.6 | Springer | 1382-3256 |
| c | Higher-Order and Symbolic Computation | | Springer | 1388-3690 |
| b | Information and Software Technology | 4.3 | Elsevier | 0950-5849 |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| b | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| b | Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd | 1099-1689 |
| Computing and Informatics | | Institute of Informatics, Slovakia | 1335-9150 |
| c | Information Processing Letters | 0.700 | Elsevier | 0020-0190 |
| c | Cybernetics and Systems | | Taylor & Francis | 0196-9722 |
| c | Soft Computing | 2.5 | Springer | 1432-7643 |
| a | Science China Information Sciences | 7.6 | Springer | 1674-733X |
| b | The Computer Journal | 1.500 | Oxford University Press | 0010-4620 |