计算机国际核心期刊
一、程序语言和软件工程
权威期刊类:
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
New Generation Computing
Software Quality Journal
Software Testing, Verification and Reliability
Computer Languages
Requirements Engineering Journal
IEEE Software Engineering Journal
其它期刊:
Journal of the Interest Group in Pure and Applied Logic
Notre Dame Journal of Formal Logic
Journal of Computer and Software Engineering
Journal of Structured Programming
International Journal on Software Tools for Technology Transfer
Chinese Journal of Advanced Software Research
Journal of Computing Systems in Engineering
Journal of Symbolic Logic
Project Management Journal
International Journal of Reliability, Quality, and Safety
Journal for Applied Nonclassical Logic
The Journal of Defense Software Engineering
Computer & Control Engineering Journal
Journal of L
