国际A类期刊.doc

国际A类期刊 计算机国际期刊zz 一、程序语言和软件工程 权威期刊类: 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