计算机国际核心期刊
一、程序语言和软件工程
权威期刊类:
ACM Trans on Programming Languages & Systems
Annals of Software Engineering
IEEE Trans on Software Engineering
Jnl of Functional Programming
ACM Trans on S/W Eng and Methodology
Formal Methods in System Design
著名期刊类:
The Jnl of Logic Programming
IEEE Procs - Software
Jnl of Software Maintenance: Research and Practice
Higher-Order and Symbolic Computation (previously known as LISP and Symbolic Computation) Software: Practice and Experience
Jnl of Functional and Logic Programming
The Constraints Journal
Journal of Logic and Computation
Journal of Programming Languages
Empirical Software Engineering
Automated Software Engineering
Formal Aspects of Computing
Object-Oriented Systems
Theory and Practice of Object Systems
Journal of Object-Oriented Programming
IEEE Transactions on Reliability
Future Generations Computer Systems: FGCS
Programming and Computer Software
Science of Computer Programming
Jnl of Systems and Software
Intl Jnl on Software Engineering and Knowledge Eng