计算机领域核心期刊 国际,计算机国际核心期刊.doc

计算机国际核心期刊

一、程序语言和软件工程

权威期刊类:

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